Перетин визначається як (A ∩ B, f), де f(x) = min{m(x), n(x)}. Сума мультимножин визначається як (A ⊎ B, f), де f(x) = m(x) + n(x). Декартів добуток визначається як (A × B, f), де f((x,y)) = m(x)n(y). Теорія множин Факторіали і біноміальні коефіцієнти