に対応し、formula_26は集合の加法の単位元に相当する。