 ##  [Partially Ordered Set](/partially-ordered-set) 

  ##  [Partially Ordered Set](https://natural.quantumdictionary.io/partially-ordered-set-0) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definition

A set equipped with a binary relation ≤ that is reflexive (x ≤ x), antisymmetric (x ≤ y and y ≤ x imply x = y), and transitive (x ≤ y and y ≤ z imply x ≤ z); not every pair of elements must be comparable.