-1
$\begingroup$

Suppose $A$ and $B$ are sets and $A$ is finite. Prove that $A \sim B$ iff $B$ is also finite and $|A| = |B|$.


Notes on notation:

$A \sim B$ indicates that $A$ is equinumerous with $B$.

  • 1
    Looks like a proof by contradiction would be neatest here....2012-12-04
  • 0
    What does the relation ~ mean ?2012-12-04
  • 0
    @Amr: I think it means there is a bijection $A \to B$.2012-12-04
  • 0
    I think ~ is the equinumerous or equipollent relation on sets: whenever two of them have the same cardinality, which ammounts to the same as Cilve wrote.2012-12-04
  • 0
    What does $|A|=|B|$ mean? Usually it and $A\sim B$ are just typographical variants of the same thing, but if so there is nothing to prove.2012-12-04

2 Answers 2