Infinite disconnected subspace of a cofinite product
ID: infinite-disconnected-subspace-of-a-cofinite-product
For an infinite set with its cofinite topology, every infinite subset is connected, but has an infinite disconnected topological subspace. Choose and use . The open sets and have disjoint nonempty traces and on , covering it. Thus is a product of a discrete two-point subspace with an infinite cofinite factor. The ambient open rectangles may intersect; only their traces must be disjoint for a separation of .
New to topics? Read the docs here!