Abstract. Two topologies τ and σ on a fixed set are T 1 -complements if τ ∩ σ is the cofinite topology and τ ∪ σ is a sub-base for the discrete topology. In 1967, Steiner and Steiner showed that of any two T 1 -complements on a countable set, at least one is not Hausdorff. In 1969, Anderson and Stewart asked whether a Hausdorff topology on an uncountable set can have a Hausdorff T 1 -complement. We construct two homeomorphic completely regular T 1 -complementary topologies. Theorem 1. There are two Hausdorff topologies σ 0 and σ 1 on a set such that σ 0 ∨ σ 1 is the discrete topology, such that σ 0 ∧ σ 1 is the cofinite topology, and such that σ 0 and σ 1 are homeomorphic topologies.If σ 0 and σ 1 are topologies which satisfy • σ 0 ∨ σ 1 is the discrete topology, • σ 0 ∧ σ 1 is the cofinite topology, then we say σ 0 and σ 1 are T 1 -complements.In 1967, Steiner and Steiner [2] showed that of any pair of T 1 -complements on a countable set, at least one is not Hausdorff. In 1969, Anderson and Stewart [1] showed that of any pair of T 1 -complements, at least one is not first countable Hausdorff. Anderson and Stewart also asked: Can a Hausdorff topology on an (uncountable) set have a Hausdorff T 1 -complement ? We answer this question affirmatively.First we need a little finite combinatorics:There is a directed graph on a finite set containing the distinguished element p whose edges can be colored with three colors: green, red, and yellow, and two shades: light and dark, so that 1. The subgraph of light edges decomposes into components each of which is one of • the graph formed by identifying the initial vertex of a light green edge with the initial vertex of another light green edge, • the graph formed by identifying the terminal vertices of a light green edge and a light red edge,