A.投影、选择运算
B.选择、投影运算
C.并、交运算
D.交、并运算
整数集I上的一元运算定义如下:
(m)=m'(modk)
其中r,k为给定正整数,又定义I上的关系~:
X~y当且仅当x=y(modk)
问一是否是代数结构<l,>上的同余关系.
若~为中S上的等价关系,如果对S中的任何元素x,y,满足().那么,~为s上的关于一元运算△的同余关系;如果对S中的任何元素x,y,u,满足(),那么,一为S上的关于二元运算*的同余关系,当~关于一元运算、二元运算*均为同余关系时,就是上的同余关系,这时等价类[x]又可称为().