 Explicitly, a point of ω"X" is a family formula_1 of closed nonempty subsets of "X" such that formula_1 is closed under finite intersections, and is maximal among those families that have these properties.For every closed subset "F" of "X", the class Φ"F" of points of ω"X" containing "F" is closed in ω"X".The topology of ω"X" is generated by these closed classes.