有限子集系的Spernet系

１９８０年，Ｋｏ－Ｗｅｉ Ｌｉｈ提出如下猜想：如果Ｆ是由Ｂ＾ｎ中固定秩的不同元素生成的序理想，那么Ｆ是Ｓｐｅｒｎｅｔ系。本文证实了当Ｆ是由Ｘ的子集Ｙ的所有相同秩的元素生成的序理想，猜想是正确的。