집합 A,B에 대해서, |A| < |B| 의 정의를


어떤 B0 ⊆ B 가 존재해 A~B0 이고 임의의 X ⊆ A에 대해 X ~ B가 아니라고 하겠습니다.


|A|<=|B| 의 정의는 |A|<|B|이거나 A~B인 경우로 하겠습니다.



이때 임의의 집합 A,B에 대해서 |A|<=|B| 또는 |B|<=|A|가 성립하나요?

증명하려고했는데 너무 복잡하네요.