Task list filter?

Choose required ranks and required tasks. The table of contents will list only tasks having one of the required ranks in corresponding rankings and at least one of the required tags (overall). If you wish to filter only according to some rankings or tags, leave the other groups empty.

Task rankings

Difficulty level

Task tags

Task type
«
«
«

Comparing finite sets

Task number: 3376

Prove by mathematical induction that for all finite sets X and Y:

  • Variant

    If there exists an injective mapping from X to the set Y, then |X||Y|.

  • Variant

    If there exists a surjective mapping from X to Y, then |X||Y|.

Difficulty level: Easy task (using definitions and simple reasoning)
Proving or derivation task
Cs translation
Send comment on task by email