A member of the topology τ on X. Open sets are closed under arbitrary union and finite intersection, and include ∅ and X.