Any category base in which every region contains a minimal region is equivalent to a topology.
© Copyright 1983 Pacific Journal of Mathematics. All rights reserved.