V rámci Algebier sa začalo operovať s termínom TERM. Čítam si poučku aj sto krát ale myslím že tomu úplne nerozumiem. Vedel by mi niekto vysvetliť nejako polopatisticky, že čo ten TERM je
1. Termom moze byt prvok z mnoziny generatorov.
2. Tiez funkcia - term, ktorej argumenty su prvky z mn. generatorov
3. Funkcia, ktorej argumenty su funkcie - termy
4. Dva termy su ekvivalentne, ak generuju rovnaky prvok..
Priklady:
Nech A~=(A,W) , A=mn. prirodzenych cisel N, G={1} je system generatorov, f(x,y)= x + y patri do W
1. 1 je term
2. 1+1 je term
3. ((1+1)+1) je term
4. termy (((1+1)+1)+1) a ((1+1)+(1+1)) su ekvivalentne - totozne