Let be clopen and an equivalence class. The intersections and are complementary relatively open subsets of . Connectedness of means one must be empty. Thus every equivalence class is entirely in or entirely outside it, proving . This is precisely saturation.
Articles by others on the same topic
There are currently no matching articles.