「有理数によって個別の要素に分けられた」は厳密に定義するのは難しいな。
Ａが不連続なんだからＡの要素の隣には必ず有理数がある、位のイメージなんだが
実数に隣もくそもないわけだし。