Теория групп, теория множеств и математическая логика не образуют математическую теорию отношений, а являются отдельными разделами математики 134.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. 3 Теория множеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. 34 Математическая логика — раздел математики, в котором изучаются логические операции и выводы с чисто формальным содержанием. 68
Отношения — это математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. 25 Они играют важную роль в универсальной алгебре, где базовый объект изучения раздела — множество с произвольным набором операций и отношений. 25