·对任意|bes,al△b=|a*b,则 由~关于*的相容性,保证运算△的结 果与等价类的选取无关。称;凶为 IS;*的商结构或商系统。 例:zZ上模5同余关系 与代表元选取无关• 对任意[a],[b]Š, [a][b]=[ab]，则 由~关于的相容性，保证运算的结 果与等价类的选取无关。称[Š;]为 [S;]的商结构或商系统。 • 例:Z上模5同余关系 • 与代表元选取无关