A∈Xは命題に分類される