Definition:Bounded Below/Ordered Set