定義（代数的整数論021の154）
L と M を順序集合とする。
写像 f：L → M を全単射とする。
f と f^(-1) が単調増加（過去スレpart5の783）であるとき f を同型写像または同型と言う。
このとき L と M は同型であるという。