一般の-環は乗法の単位元を持つことを仮定されないが、乗法の単位元を持つような-環は単位的(unital)であると言われる。