...и обозначается оно так:
(A \cap B). Объединение, соотв., так:
(A \cup B).
И если сравнивать с алгеброй многочленов, то свойства "объединения" близки к свойствам "сложения", а свойства "пересечения" близки к свойствам "умножения". Так?
Если вас заинтересовало сравнение свойств алгебраических операций, то сначала надо определиться, что есть свойство алгебраических операций. Философы и программисты обсуждают свойства на уровне понятия «похоже» и в конце концов получается, что
всё похоже на всё.
В математике свойство — это логическая формула. Соответственно, алгебраическая операция удовлетворяет или не удовлетворяет свойству, без каких-либо «близко удовлетворяет». Утверждение истинно или ложно. Не возможно быть немного беременной.
Чтобы изучать свойства, нужно хоть немного знать формальную логику и желательно знать примеры алгебраических операций, которые удовлетворяют или не удовлетворяют свойству. Это следующий уровень абстракции. Насчёт конкретных свойств, их изучает абстрактная алгебра. Мне не нравится, что большинство учебников ставят в начале определение группы. Надо ставить самое простое — ассоциативную операцию.
-- Thu Sep 21, 2017 09:30:33 --granit201z
Да. Только не нужно использовать символ "точка" для обозначения "умножения" множеств.
В эпоху Джорджа Буля это было можно.