Univerzální algebra: Porovnání verzí

m
Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
(→‎Variety algeber: math stzle)
m (Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap)
 
 
Formálně se ''identita'' definuje jako dvojice [[Term|termů]]. Identitou tedy není žádná z následujících formulí (protože v identitě není dovoleno nic více, než rovnost dvou výrazů):
::: a.b = 1 <math>\orlor</math> a.c = 1
::: <math>\exist</math>c: a.c = b