>>954
いや有限集合では考えていない
有限集合なら存在命題で記述できる