-a\in S