x-1\in S