第四环同构定理

设 为一个环，且设 为 的一个理想。对应关系 是包含保序的双射，它将 的子环（包含 的子环）的集合与 的子环集合之间建立联系。此外， (包含 的子环) 是 的理想当且仅当 是 的理想。