Category:Ordered Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ordered Sets.


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

Pages in category "Ordered Sets"

The following 2 pages are in this category, out of 2 total.