Proof

(related to Proposition: More Characterizations of Finite Sets)

By hypothesis, $X,Y$ are finite sets equal cardinalities $|X|=|Y| < \infty.$

Ad $(1)$

$(2)$

$(3)$ By Induction

$(4)$


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001