partially ordered set
Sign in to saveAlso known as poset, ordered set
set ordered by a transitive, antisymmetric, and reflexive binary relation
~32 min read
Article
Y indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly require the homogeneous relation
R
Connections
total order
Entity
weak ordering
Entity
reflexive relation
Entity
ordered group
Entity
semilattice
Entity
natural number
Entity
prime number
Entity
inequality
Entity
subset
Entity
bijection
Entity
injection
Entity
complement
Entity
monotonic function
Entity
On-Line Encyclopedia of Integer Sequences
Entity
lattice
Entity
infimum and supremum
Entity
well-order
Entity
lexicographical order
Entity
ordered field
Entity
well-founded relation
Entity