Определение. Математической структурой называется система отношений Ð ={ Ð1 , , Ðp}, заданная на базовых множествах M1

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

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

Примеры.

Указанные в начале пункта аксиоматики задают, соответственно, структуры: натуральных чисел, действительных чисел, векторных пространств, структуру геометрического евклидова пространства и структуру арифметического евклидова пространства.