존재하는 원소 s, 집합 X에 대해, 원소 s는 집합 X에 포함된다.

어떻게 쓰지?