Collection of open sets that is sufficient for defining a topology.