问答题

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

【参考答案】