What do we assume about the topology on ? For example, if we take and the topology , then and are closed disjoint subsets and the open subsets which contain are and , the open subsets which contain are and . Therefore, we can't find two disjoint open subsets which contain respectively and .