Relation Properties

Example: The $\text{LessThanOrEqualTo}$ ($\le$) relation on some set $S$ of comparable objects:

In summary, the $\text{LessThanOrEqualTo}$ relation has the following $3$ properties: reflexive, anti-symmetric, and transitive.

Definition. [Partial Order] A relation that is reflexive, anti-symmetric, and transitive is called a partial order.