Category:Definitions/Maximal Elements

From ProofWiki
Jump to navigation Jump to search

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


An element $x \in T$ is a maximal element (under $\RR$) of $T$ if and only if:

$x \mathrel \RR y \implies x = y$