Category:Definitions/Successor Elements

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Successor Elements.
Related results can be found in Category:Successor Elements.


Let $\preceq$ be an ordering.

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


Then $b$ succeeds $a$.

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