„Einungur“: Munur á milli breytinga

'''Einungur'''<ref name="stae">[http://www.stae.is/os/sedill/4681 Orðaskrá Íslenska stærðfræðafélagsins], monoid</ref> (eða '''[[hálfgrúpa]] með [[Hlytleysa|hlutleysu]]''')<ref name="stae"/> er [[algebrumynstur]] í [[Hrein algebra|hreinni algebru]] sem hefur eina [[Tengiregla|tengna]] [[Aðgerð (stærðfræði)|tvístæða aðgerð]] og [[Hlutleysa|hlutleysu]]. Einungur telst '''víxlinn''' ef aðgerðin er [[Víxlregla|víxlin]],;<!-- Vantar þýðingu á [[commutative monoid]] --> [[Náttúrlegar tölur|náttúrulegu tölurnar]] mynda til dæmis víxlinn einung undir [[samlagning]]u (þar sem núll er hlutleysan) og [[margföldun]] (þar sem einn er hlutleysan) þar sem ''a'' + (''b'' + ''c'') er það sama og (''a'' + ''b'') + ''c'' og ''a'' + 0 = 0 + ''a'' = ''a''.