Any proper closed subset of must be finite: if it were infinite, part (ii) would give . Therefore every nonempty open subset of , being the complement of a proper closed set, is cofinite.The empty set belongs to both topologies. Inclusion need not be equality; the target may have fewer open sets.
Articles by others on the same topic
There are currently no matching articles.