投影不是关系代数运算中专门的关系运算。（)

A.取列运算

B.投影运算

C.连接运算

D.选择运算

整数集I上的一元运算定义如下:

(m)=m'(modk)

其中r,k为给定正整数,又定义I上的关系~:

X~y当且仅当x=y(modk)

问一是否是代数结构＜l,＞上的同余关系.

对以下定义的集合和运算判别它们能否构成代数系统？如果能，请说明是构成哪一种代数系统？

(1)S₁={0，±1，±2，...，±n}，+为普通加法，则S₁是Ⓐ。

(2)S₂={1/2，0,，2}，*为普通乘法，则S₂是Ⓑ。

(3)S₃={0，1，...，n-1}，n为任意给定的正整数且n≥2，*为模1乘法，°为模n加法，则S₃是Ⓒ。

(4)S₄={0，1，2，3}，≤为小于等于关系，则S₄是Ⓓ。

(5)S₅=M_n(R)，+为矩阵加法，则S₅是Ⓔ。

定义分数集上的一元运算:

证明:第2题中定义的等价关系~不是上的同余关系.

在分数集合F上定义一元运算Δ为

试证明关于运算Δ，~不是同余关系。

设是一个代数系统,其中为模n加运算问是的子代数().

A.不一定是

B.一定是

C.不是

D.可能是

么说一个关系的性质在该集合运算下是保持的。例如自反性质在二元运算并之下是保持的，因为两个自反关系的并是自反的。然而，自反性质在集合的求补运算下是不保持的，因为一个非空集合上的一个自反关系的绝对补不是一个自反关系。按照在指出的集合运算下给出的性质是否保持，填充下表。对每一非(N)的回答，给出反例。

A.FOR

B.WHILE

C.WHERE

D.CONDITION

A.计算公式

B.审核公式

C.舍位平衡公式

D.运算公式

A.在基本表中，选择满足条件的元组组成一个新的关系

B.在基本表中，选择需要的属性组成一个新的关系

C.在基本表中，选择满足条件的元组和属性组成一个新的关系

D.以上三种说法均是正确的

若~为中S上的等价关系,如果对S中的任何元素x,y,满足().那么,~为s上的关于一元运算△的同余关系;如果对S中的任何元素x,y,u,满足(),那么,一为S上的关于二元运算*的同余关系,当~关于一元运算、二元运算*均为同余关系时,就是上的同余关系,这时等价类[x]又可称为().