Category:Definitions/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$