Есть несколько множеств . Все в совокупности – сумма . Можно
изучать свойства всей совокупности . Но можно изучать свойства, присущие всем –
это и есть умножение.
То есть И. Сумма – ИЛИ. Есть отрицание ( или разность ) A\B.
На их основе строится алгебра – изучается поведение всевозможных комбинаций.
Для наглядности - круги Эйлера.
Умножение - это или алгебра, или теория групп. Можно рассматривать в аспекте кольца множеств, тогда умножение = пересечение.
Умножение - это некоторое действие, которое выполняет некоторые аксиомы:
1 аксиома - ассоциативности или правило раскрытия скобок (a*b)*c=a*(b*c)
2 аксиома - нейтрального элемента - в группе для любого элемента a существует некоторый элемент E, такой что a*E=E*a=a
3 аксиома - обратного элемента - для каждого элемента a в группе существует элемент A, такой что A*a=a*A=E
Теперь для мультипликативной терминологии это действие будет привычным действием умножения
А для аддитивной терминологии это действие будет привычным действием сложения.
Бинарное отношение, удовлетворяющее некоторым аксиомам (тогда структура множеств, на которых определено это отношение, становится более интересной и полезной с практической точки зрения).
Какой такой смысл? Умножение - обычная функция двух переменных.
http://ru.wikipedia.org/wiki/%CF%F0%FF%EC%EE%E5_%EF%F0%EE%E8%E7%E2%E5%E4%E5%ED%E8%E5
Если я правильно понимаю.
Пересечение множеств, т. е. выделение элементов, которые содержатся одновременно во всех множествах