> A, B 는 모두 카디낼러티가 Q 와 같으며, > A, B 의 합집합은 Q > A, B 의 교집합은 공집합이 되게 하고 싶습니다.
추가로 원하는 조건은 다음과 같습니다..
> A 에 속한 임의의 서로 다른 두 원소 a1 < a2 가 있을때, > 적당한 원소 b3 가 B 에 존재하여, a1 < b3 < a2 를 만족한다. > 또한, B 에 속한 임의의 서로 다른 두 원소 b1 < b2 가 있을때, > 적당한 원소 a3 가 A 에 존재하여, b1 < a3 < b2 를 만족한다.