もしくは、{y｜y=f(x)}のバーの右側にある条件が
∃x,y=f(x)の略記ということですか？