Definition, synonyms and related words
A topological space constructed from a Boolean algebra, whose points are ultrafilters on the algebra.