Definition:Complete Ordered Set