设（A、≤)是非空有限线序集合，|A|≥2，R是A×A上的关系，根据R的不问定义，指出是拟序集合、偏序集合、

设R是集合S上的关系，S'是S的子集，定义S'上的关系R'如下：

R'=R∩(S'XS')

确定下述每一断言的真假：

(a)若R在S上是传递的，那么R'在S'上也是传递的，

(b)若R是S上的偏序，则R'也是S'上的偏序。

(c)若R是S上的拟序，则R'也是S'上的拟序。

(d)若R是S上的线序，则R'也是S'上的线序。

(e)若R是S上的良序，则R'也是S上的良序。

A.操作的有限集合

B.映像的有限集合

C.类型的有限集合

D.关系的有限集合

若将数据结构形式定义为二元组(K,R)，其中K是数据元素的有限集合，则R是K上()

A．操作的有限集合

B．映象的有限集合

C．类型的有限集合

D．关系的有限集合

设是一线序集合，但不是良序集合。在论述域上找出谓词P，以证明在该域上，应用词典序则数学归纳法第二原理不是一个有效的推理规则。

设集合A={a,b,c},A上的二元关系R={,,}。下面命题中为假的是____。

A.R不是偏序关系

B.R是等价关系

C.R是对称的

D.R是反对称的

设R为A上的偏序关系，证明R-I_A为A上的拟序关系．

设集合A={a,b,c},A上的二元关系R={＜a,a＞,＜b,b＞,＜c,c＞}。下面命题中为假的是

A．R不是偏序关系

B．R是等价关系

C．R是对称的

D．R是反对称的

已知集合A,B,其中是偏序集，定义B^A上的二元关系R如下：

(1)证明R为B^A上的偏序.

(2)给出＜B^A,R＞存在最大元的充分必要条件和最大元的一般形式.

设集合A={a，b，c，d，e}上的偏序关系如右图所示，则子集{a，b，c}的上界为(60)。

A．a，e

B．a

C．e

D．无上界