xがxを要素とする集合ならばyが真であるものがx