Un demi
Un demi-groupe inversif est un demi-groupe dans lequel tout élément admet un "unique" inverse.