В чём заключается теоретико-множественный смысл действия вычитания?

Теоретико-множественный смысл действия вычитания заключается в том, что с его помощью находят численность дополнения одного множества до другого. 13

Определение: если множества А и В такие, что множество В включается в множество А и n(A) = a, n(B) = b, то вычитанием называют действие, с помощью которого находят численность дополнения к множеству В до множества А, а значением разности чисел а и b называют численность этого дополнения или численность разности множеств А и В. 1

Пример: если множество А содержит 5 элементов, а множество В — 3 элемента и В € А, то число элементов в дополнении множества В до множества А равно разности 5 – 3, то есть 5 – 3 = 2. 3

Таким образом, вычитание целых неотрицательных чисел связано с вычитанием конечных непересекающихся множеств. 3