Diagram Hasse dari aksioma pemisahan.