抽象代数学基本概念之一。一个代数系统（如群、环、模、线性空间等）到另一同类型的代数系统上保持代数运算的一对一映射。如果这两个代数系统为拓扑空间，则还要求此映射及其逆映射都连续，即为*同胚映射。一个代数系统到自身的同构，称为“自同构”。同构的逆映射仍为同构。