completeness (order theory)

ウィキペディアから