T=\{a\in S\ |\ x<a\}