Определение

Математической структурой называется система отношений Ð ={Ð₁, …, Ð_p}, заданная на базовых множествах M₁,…, M_m посредством системы аксиом T={T₁,…,T_n}.

Таким образом определенную математическую структуру будем обозначать = {T, Ð, M}. Для краткости эту структуру, соответствующую системе аксиом T, иногда будем обозначать .