Definition:Dominate (Set Theory)/Definition 1
Jump to navigation
Jump to search
Definition
Let $S$ and $T$ be sets.
Then $S$ is dominated by $T$ if and only if there exists an injection from $S$ to $T$.
The notation $S \preccurlyeq T$ is used to indicate that $S$ dominates $T$.
Also see
Sources
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 8$