定義
L と M を前順序集合（>>608）とする。
f：L → M を全単射とする。
f と f^(-1) が順序を保存する（>>783）とき f を同型写像または同型と言う。
このとき L と M は同型と言う。