Доказательство
Нам надо показать, что пересечение подсистем замкнуто относительно операций алгебраической системы. Пусть f – n-местная операция алгебраической системы, а a1,...,an – элементы пересечения. Операция f замкнута на каждой подсистеме, значит элемент f(a1,...,an) принадлежит всем подсистемам, а значит и их пересечению. Т.о. операция замкнута.
Назад