また、整列集合の中で上に有界な任意の部分集合は(その上界全体の成すの部分集合に最小元がとれるから)必ず上限を持つ。