Talk:A subset of a topological space is disconnected if and only if it can be covered by two non-empty-in-the-subset and disjoint-in-the-subset sets that are open in the space itself