Látum ⊙:X×X→X vera reikniaðgerð á X. Sagt er að stak e∈X sé hlutleysa reikniaðgerðarinnar ⊙ ef fyrir öll x∈X gildir að x⊙e=xoge⊙x=x. Ef hlutleysan er til ákvarðast hún ótvírætt af þessum skilyrðum og sérhver reikniaðgerð hefur því í mesta lagi eina hlutleysu.
Dæmi:
- Samlagning á mengi rauntalna hefur hlutleysuna 0 því fyrir sérhvert x∈R gildir að x+0=xog0+x=x.
- Margföldun á mengi rauntalna hefur hlutleysuna 1 því fyrir sérhvert x∈R gildir að x⋅1=xog1⋅x=x.
- Tóma mengið er hlutleysa fyrir sammengi því fyrir öll mengi A gildir að A∪∅=Aog∅∪A=A.
- Samsemdarvörpunin er hlutleysa fyrir samskeytingu því fyrir allar varpanir f:X→Y gildir að f∘idX=fogidY∘f=f.