a\in S