a \in A