Максимальный элемент

Совокупность максимальных элементов подмножества носителя упорядоченной структуры

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

Множество $$a$$ — совокупность максимальных элементов (англ. set of maximal elements, нем. Menge der maximale Elemente) подмножества $$j$$ носителя $$c$$ линейно упорядоченной структуры $$b$$ или кратко совокупность максимальных элементов множества $$j$$, если множество $$a$$ состоит из элементов носителя $$c$$ линейно упорядоченной структуры $$b$$ таких, что для произвольного элемента носителя $$c$$ линейно упорядоченной структуры $$b$$ если упорядоченная пара множеств $$k,l$$ принадлежит интерпретации символа отношения $$i$$ на множестве $$c$$, то множество $$l$$ равно множеству $$k$$: $$ \Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ \forall k \quad k\in a \Leftrightarrow \Bigl( k\in c \ \land \ \bigl( \forall l \quad l\in c \Rightarrow (\langle k,l \rangle\in i_b \Rightarrow l = k) \bigr) \Bigr) $$

Обозначим $$\Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ a = \mathrm{Maximal}_{i_b}(j)$$ или кратко $$\Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ a = \mathrm{Maximal}(j)$$.

Максимальный элемент подмножества носителя упорядоченной структуры

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

Множество $$a$$ — максимальный элемент (англ. maximal element, нем. maximales Element) подмножества $$j$$ носителя $$c$$ упорядоченной структуры $$b$$ или кратко максимальный элемент множества $$j$$, если множество $$a$$ является элементом совокупности максимальных элементов подмножества $$j$$ носителя $$c$$ линейно упорядоченной структуры $$b$$: $$ \Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ \forall k \quad k = \mathrm{Maximal}_{i_b}(j) \Rightarrow a\in k $$

Обозначим $$\Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{Maximal}_{i_b}(j)$$ или кратко $$\Upsilon(a,b,c,d,e,f,g,h,i,j) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{Maximal}(j)$$.

Связанные определения
Минимальный элемент.