离散数学:代数系统(二)

同构是代数系统之间的一种重要关系，用符号 $\cong$ 表示。若两个代数系统 $(A, \star)$ 和 $(B, \circ)$ 之间存在同构，则记作 $(A, \star) \cong (B, \circ)$。