# Category:Definitions/Ordered Structures

This category contains definitions related to Ordered Structures.
Related results can be found in Category:Ordered Structures.

An ordered structure $\left({S, \circ, \preceq}\right)$ is a set $S$ such that:

$(1): \quad \left({S, \circ}\right)$ is an algebraic structure
$(2): \quad \left({S, \preceq}\right)$ is an ordered set
$(3): \quad \preceq$ is compatible with $\circ$.

## Subcategories

This category has the following 3 subcategories, out of 3 total.

## Pages in category "Definitions/Ordered Structures"

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