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!