Every lattice is embeddable in the lattice of T 1 -topologies Richard Valent — 1973 Colloquium Mathematicae