T = \{ s \in S: s \not\in f(s) \}