Category:Type M Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about type $M$ sets.

Let $S$ be a set of sets.

$S$ is said to be of type $M$ if and only if every element of $S$ is a subset of a maximal element of $S$ under the subset relation.