S := A \in A => A \in S