(matematika) Legyen egy egységelemes félcsoport, jelölje e az egységelemet. Azt mondjuk, hogy az elem inverze, ha Az elem inverzét (ha létezik) jelöli. Egy (A, ·) egységelemes félcsoportban ha egy a elemnek létezik inverze, akkor az egyértelmű.
Az egységelemes félcsoportban minden mátrixnak létezik inverze, mivel így inverze
Az egységelemes félcsoportban egy A mátrixnak akkor és csak akkor létezik inverze, ha Ekkor az mátrix egyenletnek létezik egyértelmű megoldása.