RodegastПридётся тебе поменять своё мнение, оно неверно сложилось. Школьные пробелы дают о себе знать. Одно множество упорядочивается с помощью другого множества, которое состоит из упорядоченных пар. И вот это множество упорядоченных пар называется отношением. Отношение задано на множестве тогда, когда упорядоченные пары отношения составлены из элементов этого множества.
Ну это ты своей бабушке рассказывать будешь.
В алгебраической системе участвует множество (носитель) и отношение (множество n-ок, где n может равняться 2). Так вот множество натуральных чисел - это алгебраическая система, заданная аксиомами Пеано, где отношение задано функцией следования.