有界順序を持つ順序集合 "x" に対し、部分集合 "s" に順序を制限した("s", ≤)は必ずしも有界順序にはならない。