同値類

半環における合同関係は２つの演算に関するものです。 この合同関係は演算が同値類に関してwell-definedである（そうなるように定義された）ため商集合に移して考えることが出来ます。