order-bounded

[数] 序有界的