-upper-bound and lower-bound for interval constructor