ノート:帰納的集合

X を半順序集合とするとき、全ての全順序部分集合が上界を持てば、X を帰納的順序集合であるという。