当前位置:首页 > 经典书库 > 逻辑百科辞典

线序关系

集合论的一个重要的概念,一种特殊的关系。对于关系R而言,我们称R在S上是连接的是说它必须满足条件:对于任意的x,y∈S,都有R(x,y),x=y或R(y,x)之一成立。如果R是传递的,反对称的和连接的,则称R为一线序关系(见传递性、偏序关系)。有时也称线序关系为全序关系。实数集合上的关系“≤”是一线序关系。对于任一不空集合S而言,S的幂集合上的包含关系是一偏序关系但不是一线序关系。

上一篇:相似 下一篇:现代归纳逻辑
分享到: