Теории натурального числа- мега-зло...

Upd

Если n число a выражает численность множества А, а n число В выражает численность множества В, причем А эквивалентно В штрих, принадлежащее правильной части В или А собственное подмножество В, то говорят, что число а меньше числа b.