第四環同構定理

設 為一個環，且設 為 的一個理想。對應關係 是包含保序的雙射，它將 的子環（包含 的子環）的集合與 的子環集合之間建立聯絡。此外， (包含 的子環) 是 的理想當且僅當 是 的理想。