Category:Ordered Sets

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