Published online by Cambridge University Press: 20 November 2018
Our aim is to prove that certain topologies have complements in the lattice of all the topologies on a given set. Lattices of topologies were studied in (1-8). In (7) Hartmanis points out that the lattice of all the topologies on a finite set is complemented and poses the question whether this is so if the set is infinite. A positive answer is given here for denumerable sets. This result was announced in (6). The case of higher powers remains unsettled, although quite a few topologies turn out to have complements. As far as the author knows, no one has proved the existence of a topology that has no complement.