Category:Predecessor Elements

This category contains results about Predecessor Elements.
Definitions specific to this category can be found in Definitions/Predecessor Elements.

Let $\preceq$ be an ordering.

Let $a, b$ such that $a \preceq b$.

Then $a$ precedes $b$.

$a$ is then described as being a predecessor of $b$.