无穷降链 给定带有偏序的一个集合S链V是无穷降链就是说在V上的关系定义了全序的S的子集使得V没有最小元素其中最小元素的定义是我们称m为最小元素当且仅当对于在V中所有元素n有着m  n 作为例子在整数的集合中链   是无穷降链但是在自然数上没有无穷降链所有自然数的链都有一个极小元素 如果偏序集合不包含任何无穷降链则称它为良基的没有无穷降链的全序集合是良序的