Un demi
Un demi-groupe régulier est un demi-groupe dans lequel tout élément admet au moins un pseudoinverse ou (ce qui, d'après ce qui précède, est équivalent) au moins un inverse.