Символ

Символ отношения сигнатуры

 * $$a,b,c,d$$ - множества,
 * $$a = \Sigma(b,c,d) $$ - сигнатура.

Элемент множества $$b$$ — символ отношения (англ. symbol of relation or relation symbol, нем. Symbol der Relation oder Relation Symbol) сигнатуры $$a$$ или кратко символ отношения.

Примеры
$$=$$ - символ отношения равенства.

$$\sim$$ - символ отношения эквивалентности.

$$\backsimeq$$ - символ отношения изоморфности.

$$\leq$$ - символ отношения порядка.

Символ операции сигнатуры

 * $$a,b,c,d$$ - множества,
 * $$a = \Sigma(b,c,d) $$ - сигнатура.

Элемент множества $$c$$ — символ операции (англ. symbol of operation or operation symbol, нем. Symbol der Operation oder Operation Symbol) сигнатуры $$a$$ или кратко символ операции.

Примеры
$$\mathfrak{o}$$ - символ нуля,

$$\mathfrak{s}$$ - символ операции следования,

$$+$$ - символ операции сложения,

$$\cdot$$ - символ операции умножения,

$$-$$ - символ операции противоположения,

$${}^{-1}$$ - символ операции обращения.