Если между двумя множествами можно установить взаимно-однозначное соответствие, то в этих множествах одинаковое количество элементов.
Если же элементам одного множества можно однозначно сопоставить элементы второго (но не наоборот), то во втором элементов не меньше, чем в первом.
Задача. Среди автобусных билетов с номерами от 000000 до 999999 каких больше: у которых каждая цифра больше предыдущей или у которых каждая цифра меньше предыдущей?