Category:Ordered Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ordered Sets.
Definitions specific to this category can be found in Definitions/Ordered Sets.

An ordered set is a relational structure $\struct {S, \preceq}$ such that the relation $\preceq$ is an ordering.