개념
- X : 무한, X ~ Y ⇒ Y : 무한
- X : 유한, X ~ Y ⇒ Y : 유한
- X : 무한, x0 ∈ X ⇒ X ∖ { x0 } : 무한
- ℕk : 유한 (ℕk = { 1, 2, 3 … k })
- X : 유한 ⇔ X ~ ∅ ∨ X ~ ℕk (ℕk = { 1, 2, 3 … k })
- X가 유한집합이면 공집합과 대등하거나 어떤 k까지 자연수 집합과 대등하다.
- X × Y ~ Y × X
- X 카테시안 곱 Y는 Y 카테시안 곱 X와 대등하다.
- X, Y : 유한일 때,
- X ∪ Y : 유한
- X × Y : 유한