Операция следования

Операция следования на множестве

 * $$a,b,c,d,e,f,g,h$$ - множества,
 * $$b = \mathrm{AlgStruct}(c,d,e)$$ - алгебраическая структура,
 * $$e = \mathrm{\Sigma}(f,g,h)$$ - сигнатура,
 * $$\mathfrak{s}\in g$$ - символ операции.

Множество $$a$$ — операция следования (или функция следования) (англ. successor function, нем. Nachfolgerfunktion) на множестве $$c$$ или кратко операция следования, если множество $$a$$ является интерпретацией символа операции $$\mathfrak{s}$$: $$ \Upsilon(a,b,c,d,e,f,g,h) \ \stackrel{\mathrm{def}}{=} \ a = \mathfrak{s}_b $$

Связанные определения
Значение операции следования от элементов множества $$b$$ — последователь (англ. successor, нем. Nachfolger) элементов множества $$b$$ (или следующий за элементами множества $$b$$).