Алгебраических структур очень много, все туда не включишь
Да, но отношения - достаточно почтенный предмет, так что даже в вводных курсах алгебры упоминаются. Дело в том, что некоторые отношения необходимы как язык для других разделов математики:
- отношения эквивалентности - используются вообще повсеместно, например, такие всепроникающие понятия, как изоморфизм, факторизация;
- отношения порядка - используются для построения алгебраических решёток, и для построения действительных чисел, вообще в анализе действительных чисел, и дальше в топологии.
Хотя для всего этого достаточно всего пары определений, и не требуется развивать большую теорию.
