Category:Maximal Elements

From ProofWiki
Jump to navigation Jump to search

This category contains results about Maximal Elements.
Definitions specific to this category can be found in Definitions/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$