一応話に付き合ってやると、
普通の数学では代数的・位相的構造にだけ注目して、それをどうやって構成したかを意図的に忘れるようにしているので、
X ∩ 2^X ≠ φであるかどうかを気にせずに済んでいるだけ
実際はX ∩ 2^X ≠ φであることは特別なことではない
例えばX＝ω（最も標準的な自然数全体のモデル）が該当する
{0,1,2,…n}＝n+1∈X ∩ 2^X