\(A\)あるいは\(A’\)が空虚(空集合)なることは許さない。加えて、この切断を\((A,A’)\)と書く。\(A\)を切断の下組、\(A’\)を上組という。\]それでは、一つひとつ命題に分けながら確認していきたいと思います。(ア)(1)は、前半部と後半部が「すなわち」で接続されています。各有理数は\(A\)あるいは\(A’\)のいずれか一方にのみ属する。\(A,A’\)は有理数の部分集合として互に余集合である。同値であるということです。\)なので、\(A’\)は\(A\)の余集合である。