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|.