Antisymmetric Relation/Examples/Partial Ordering

From ProofWiki
Jump to navigation Jump to search

Example of Antisymmetric Relation

Let $\preccurlyeq$ be a partial ordering on a set $S$.

Then $\preccurlyeq$ is an antisymmetric relation on $S$.


Proof

This follows directly from the definition of partial ordering.

$\blacksquare$


Sources