Definition:Dominate (Set Theory)/Strictly Dominate

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S, T$ be sets.


$S$ is strictly dominated by set $T$ if and only if $S \preccurlyeq T$ but $\neg T \preccurlyeq S$.

This can be written $S \prec T$ or $S < T$.