∃y∈S