die für Kardinalzahlen κ, λ durch \begin{eqnarray}\kappa \oplus \lambda :=\#(\kappa \times \{0\}\dot{\cup }\lambda \times \{1\})\end{eqnarray}

definierte Operation. Das bedeutet, κ ⊕ λ ist die Kardinalität der erzwungen disjunkten Vereinigung der Mengen κ und λ.