On closed elements in closure algebras (1946)

by J C C McKinsey, Alfred Tarski
Venue:Ann. of Math