Definition:Dominate (Set Theory)

Definition
Let $S$ and $T$ be sets.

Then $S$ is dominated by set $T$ iff there exists an injection from $S$ to $T$.

This can be written: Sources differ.
 * $S \preccurlyeq T$
 * $S \le T$

If $S \preccurlyeq T$ then $T$ dominates $S$ and we can write $T \succcurlyeq S$.

Set $S$ is strictly dominated by set $T$ iff $S \preccurlyeq T$ but $\neg T \preccurlyeq S$.

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