$\neg \forall s, s\in S\colon f(x)\in T$