濃度 (数学)
濃度の間に以下の演算が定義される(詳しくは基数#基数演算を参照)。
| X |+| Y | := | X ⊔ Y |(ただし X ⊔ Y は X と Y の直和 (X × {0})∪(Y × {1}) のこと)
を | X | と | Y | の和という。
| X |·| Y | := | X × Y |(ただし X × Y は X と Y の直積。)
を | X | と | Y | の積という。
| X | := | X|(ただし X は Y から X への写像全体。)
を | X | を底、| Y | を指数とする冪という。
このとき以下が成立。
| X ∪ Y |+| X ∩ Y | = | X |+| Y |
| P(X ) | = 2