{\displaystyle y\in x\in S\Longrightarrow y\in S}