>>965の
>R^2 のy座標が整数となる点全体に対してy軸に平行な可算無限本の直線をすべて引く。
という書き方というか操作は微妙な表現になっているが、
>R^2 のx座標が1以上の実数となる点全体に対してy軸に平行な非可算無限本の直線をすべて引く。
と書く方がより適切か。