Definition:Greatest/Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal A$ be a set of sets or a class of sets.

Then a set $M$ is the greatest element of $\mathcal A$ (with respect to the subset relation) if and only if:

$M \in \mathcal A$ and
$\forall S: \paren {S \in \mathcal A \implies S \subseteq M}$


Also known as

Some sources use the term largest set. The two terms are synonymous.


Also see


Sources

2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.): Definition $3.4.8$