---
tag: 0QV2JS9RJ3
kind: concept
name: Partial order
aliases: [poset, partially-ordered-set]
msc: [06A06]
sources:
  - url: https://en.wikipedia.org/wiki/Partially_ordered_set
    locator: lead section
same_as:
  wikidata: Q474715
  wikipedia: Partially ordered set
---

## Summary

A partial order is a relation that is reflexive, antisymmetric and transitive.
A set with a partial order is a partially ordered set, or poset.