Terms such as the σring-term t(u,v,w) given by (u + (v × w)) + (−1) are used to define identities t = t', but also to construct free algebras.
Όροι όπως ο σring-όρος t(u,v,w) που δίνεται από την (u + (v × w)) + (−1) χρησιμοποιούνται για να ορίζονται ταυτότητες t = t', αλλά και για να κατασκευάζονται ελεύθερες άλγεβρες.