Definition:Type M Set

Definition
Let $S$ be a set of sets.

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