Definition:Bounded Below Subset of Real Numbers