Покажем, используя теоретико-множественную трактовку отношения «меньше» для натуральных чисел, что 2<5.<br>
Возьмем множество А, содержащее 2 элемента и множество В, содержащее 5 элементов, т.е. n(А) = 2, n(B) = 5. Например, А = {a, b}, B = {c, d, e, f, r}. Из множества B можно выделить подмножество В , равномощное множеству А: например В ={c, d} и А~В . Согласно определению отношения «меньше», 2<5.