Носитель

Носитель алгебраической структуры
Множество $$a$$ — носитель (или основное множество) (англ. basic set, нем. Basis-Set) алгебраической структуры $$b$$ или кратко носитель.
 * $$a,b,c,d,e,f,g$$ - множества,
 * $$d = \Sigma(e,f,g)$$ - сигнатура,
 * $$b = \mathrm{AlgStruct}(a,c,d)$$ - алгебраическая структура.

Носитель векторного пространства

 * $$a,b,c,d,e,f,g,h,i,j,k,l,m,n$$ - множества,
 * $$f = \mathrm{\Sigma}(g,h,i)$$ - сигнатура,
 * $$j\in h \ \land \ i(j) = 2_\mathrm{N} \ \land \ k\in h \ \land \ i(k) = 2_\mathrm{N}$$ - символы бинарных операций,
 * $$c = \mathrm{AlgStruct}(d,e,f)$$ - алгебраическая структура,
 * $$c\in \mathrm{Field}(d;j,k)$$ - поле,
 * $$l\in \mathrm{Op}^2(a)$$ - бинарная операция,
 * $$n = \mathrm{CartProd}(\langle d,a \rangle)$$ - прямое произведение двух множеств,
 * $$m\in \mathrm{Function}(n,a)$$ - функция,
 * $$b = \langle a,c,l,m \rangle$$ - упорядоченная четвёрка множеств,
 * $$b = \mathrm{VectorSpace}(a,c;l,m)$$ - векторное пространство.

Множество $$a$$ — носитель (или основное множество) (англ. basic set, нем. Basis-Set) векторного пространства $$b$$ или кратко носитель.

Носитель метрического пространства

 * $$a,b,c,d,e,f,g,h,i,j,k,m,l$$ - множества,
 * $$f = \langle g,h,i \rangle$$ - упорядоченная тройка,
 * $$f = \mathrm{\Sigma}(g,h,i)$$ - сигнатура,
 * $$j \in g \ \land \ h(j) = 2_\mathrm{N}$$ - символ бинарного отношения сигнатуры,
 * $$k \in h \ \land \ h(k) = 2_\mathrm{N}$$ - символ бинарной операции сигнатуры,
 * $$c = \langle d,e,f \rangle$$ - упорядоченная тройка,
 * $$c = \mathrm{AlgStruct}(d,e,f)$$ - алгебраическая структура,
 * $$c \in \mathrm{LinOrdGroup}(d;j,k)$$ - линейно упорядоченная группа,
 * $$m = \mathrm{CartPower}^2(b)$$ - декартов квадрат множества,
 * $$l\in \mathrm{Function}(m,d)$$ - функция,
 * $$b = \langle a,c,l \rangle$$ - упорядоченная тройка множества, линейно упорядоченной группы и функции,
 * $$b = \mathrm{MetricSpace}(a,c;l)$$ - метрическое пространство.

Множество $$a$$ — носитель (или основное множество) (англ. basic set, нем. Basis-Set) метрического пространства $$b$$ или кратко носитель.