Let be any equivalence class. Since is both open and closed, is both open and closed in the subspace topology on . Its connectedness makes either empty or all of . Thus an equivalence class meeting lies wholly in . Hence is saturated, a union of whole equivalence classes.
Articles by others on the same topic
There are currently no matching articles.