Cardinality / Equipotence

• Cardinality / Equipotence #Card
  • Two sets $X$ and $Y$ have the same cardinality ($\text{card } X = \text{card } Y$) if there is a bijection between them.

Back

Two sets $X$ and $Y$ have the same cardinality ($\text{card } X = \text{card } Y$) if there is a bijection between them.

Lean

Cardinal.mk / 等濃 α ≃ β（Cardinal.eq）