有界和有上界