Ero sivun ”Neutraalialkio” versioiden välillä

Olkoon * joukossa S määritelty binäärioperaattori. Joukon ''S'' alkio ''e'' on '''vasemmanpuoleinen identiteetti''' operaattorin * suhteen, jos <math>e * a = a</math> kaikilla joukkoon kuuluvilla alkioilla a. Samoin jos <math>a * e = a</math> kaikilla joukkoon S kuuluvilla alkioilla a, on e '''oikeanpuoleinen identiteetti''' operaattorin * suhteen. Jos alkio on sekä vasemman- että oikeanpuoleinen identiteetti, kutsutaan sitä '''molemmanpuoleiseksi identiteetiksi''' tai yksinkertaisesti pelkäksi identiteeksi. Operaattoreilla, joilla on voimassa [[vaihdantalaki]], ei voida erotella eripuoleisia identiteettejä.