Квадратний знак об’єднання

Зазвичай це диз’юнктне об’єднання множин A і B.

Множина — це сукупність різних елементів. Якщо A = {1, 2}, а B = {2, 3}, звичайне об’єднання дає {1, 2, 3}. Диз’юнктне об’єднання, побудоване з позначками походження, має чотири елементи: 1 з A, 2 з A, 2 з B і 3 з B. Дві позначені версії числа 2 — різні елементи, а не повтор одного елемента у звичайній множині.

Автори також використовують ⊔, щоб підкреслити: об’єднувані множини вже не перетинаються, тобто не мають спільних елементів. Тоді результатом є звичайне об’єднання, а знак додатково вказує на цю умову. Зверніть увагу, чи текст створює позначені копії, чи стверджує, що початкові множини не перетинаються.