высшая-алгебра - Как показать изоморфизм таких алгебраических структур?

Тут уже @trongsund изложил полное решение, но у меня есть одно замечание по формулировке. Рассматриваются, как сказано в заголовке, две алгебраических структуры, то есть множества с заданной на нём бинарной операцией. В этом случае фигурные скобки лучше заменить на круглые или "угловые", потому что речь об упорядоченной паре. Далее, на первом месте там стоит не число (мы ведь не элементы числа объединяем и пересекаем?), а множество, элементами которого являются все подмножества в $%M$%. Такое множество обозначают в виде $%{\cal P}(M)$% или в виде $%2^M$%, но это не есть число.