Xを最大元1を持つ順序集合
X0=X\{1}
この時、Xの正則開集合全体の成すブール代数、X0の正則開集合全体の成すブール代数はブール代数として同型である

この証明がわからない
同型写像は何なんだ?