无穷降链

给定带有偏序≤的一个集合S无穷降链V,就是说在其上≤定义了全序S的子集,使得V没有最小元素,也就是元素m它使得对于在V中所有元素n有着mn

作为例子,在整数的集合中,链−1, −2, −3, ...是无穷降链,但是在自然数上没有无穷降链,所有自然数的链都有一个极小元素。

如果偏序集合不包含任何无穷降链,则称它为良基的。没有无穷降链的全序集合是良序的。

参见

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.