\tau_S = \lbrace S \cap U \mid U \in \tau \rbrace