问答题

共用题干题设M1,M2,M3是三个代数系统.证明: 若M1≌M2,则M2≌M1

【参考答案】