S \in S => S \in S