良序集

奚娅琼 2025-7-17 08:04:16

正整数集\(\mathbb{Z}_+\)有一个有用的性质：每一个非空子集有一个最小元。将它加以推广就得到良序集的概念。

定义具有全序关系\(