—действие по значению гл. объединять; получение из нескольких объектов одного целого—структура, состоящая из нескольких элементов—одна из бинарных операций над множествами, результатом которой является множество, содержащее в себе все элементы исходных множеств—союз