Category:Definitions/Minimal Elements

From ProofWiki
Jump to navigation Jump to search

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


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

$\forall y \in T: y \mathrel \RR x \implies x = y$