设R是集合A上的二元关系，如果R是自反、反对称、传递的，那么称R为A上的序关系，如果集合A上有序关系R，则称A为有序集，用序偶<A，R>表示。设<A，≤，>为有序集，B是A的子集，则有如下相关定义：B的最小元、最大元、极大元、极小元、上界、下界、上确界、下确界及A的链、反链。对于有序集上各定义也有相关的定理，如若b为B的最大（最小）元，则b为B的极大（极小）元等等。
欢迎使用别助学词语词典！我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富，查询快速，是您提升汉语水平的得力助手。如有任何问题，欢迎联系我们。