A topology on contains and , is closed under arbitrary unions, and is closed under finite intersections. Its members are the open sets. A subset is closed precisely when is open.
The subspace topology on isIf is open in , each such intersection is open in . Conversely, an open subset of contained in is its own intersection with . Thus the open sets of are exactly the open subsets of contained in in this case.
The closure is the intersection of all closed subsets of containing . It is the smallest such closed subset. Equivalently, exactly when every open neighborhood of meets .
Articles by others on the same topic
There are currently no matching articles.