Пусть число элементов в объединении попарно непересекающихся равночисленных множеств равно n. Тогда возникают две задачи:
а) по числу n и в – числу множеств – найти число а элементов в каждом множестве;
б) по числу n и а – числу элементов в каждом из множеств – найти число в этих множеств.
В обеих задачах n = ав. Хотя по содержанию эти задачи отличны, в силу коммутативности умножения они сводятся к одной операции: деление одного натурального числа на другое. Итак, деление натуральных чисел связано с разбиением конечных множеств на равночисленные подмножества, никакие два из которых не имеют общих элементов в каждом подмножестве разбиения (так называемое деление на части) и отыскание числа таких подмножеств (так называемое деление по содержанию).
Рассмотрим два важных правила:
1) деление суммы на число; 2) деление произведения на число.
1) (а + в): с = а: с + в: с.
Пусть А и В два непересекающихся множества таких, что n (А) = а, n (В) = в, и каждое их этих множеств можно разбить на с равночисленных подмножеств, тогда объединение этих множеств допускает такое же разбиение. Итак, если каждое подмножество множества А содержит (а: с) элементов, каждое подмножество множества В содержит (в: с) элементов, то в каждом подмножестве объединения множеств А и В будет (а: с + в: с) элементов. Это значит, что а + в): с = а: с + в: с.
2) (ав): с = (а: с) · в.
Пусть А 1, А 2,..., Ав – попарно непересекающиеся равномощные множества, в каждом из которых а элементов, т.е. n (А 1) = n (А 2) =... = n (Ав) = а. При этом каждое из данных множеств можно разбить на подмножества по с элементов в каждом. Всего подмножеств в этом случае будет 
. Тогда (А 1 
А 2 … Ав) допускает такое же разбиение, причем число подмножеств в этом объединении равно (а · в): с. Это значит, что (а · в): с = (а: с) · в.
Рассмотрим теоретико-множественный смысл деления с остатком. Пусть конечное множество А можно разбить на подмножества А 1, А 2,..., Аq, R, так что множества А 1, А 2,..., Аq будут равночисленными, а множество R будет состоять из меньшего числа элементов, чем каждое из множеств А 1, А 2,..., Аq. Тогда, если n (А) = а, n (А 1) =... = n (Aq) = в, n (R) = r, то выполняется равенство n (А) = n (А 1) + n (А 2) +... + n (Aq) + n (R), т.е. а = в · q + r, где 0 £ r < в. Это значит, что q – число равночисленных множеств – является неполным частным при делении а на в – (число элементов в каждом из этих множеств), а число элементов в R – остатком при этом делении.
Контрольные вопросы и упражнения
1. Обоснуйте различные способы решения следующей задачи:
В вазе лежало 6 яблок и 4 апельсина, их нужно разделить между двумя детьми. Сколько фруктов получил каждый ребенок?
2. Объясните с теоретико-множественных позиций смысл следующего равенства: 15 = 7 · 2 + 1.
