Recent content by SahDu

  1. S

    Proving Non-Empty Finite Sets with Induction: A Challenge

    Oh haha! Sorry. Here is what I got and then got stuck: b. Proof: For all non-empty finite sets A and B, there are |B||A| functions from A to B. Assume for all non empty finite sets, for any proper subset Z C A and Y C B, we have |Y||Z| functions from Z to Y Let z be an arbitrary element of...
  2. S

    Proving Non-Empty Finite Sets with Induction: A Challenge

    Hey guys. I need some help solving this proof using induction: Prove that for all non-empty finite sets A and B, there are |B|^|A| functions from A to B (where |B| and |A| obviously represents the cardinality of B and A respectively.) Thanks in advance for the help, since I am pretty stuck...
Back
Top