Definition:Dominate (Set Theory)/Definition 1

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

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

The notation $S \preccurlyeq T$ is used to indicate that $S$ dominates $T$.

Also see

 * Equivalence of Definitions of Dominate (Set Theory)