Alternate Definitions for has upper boundary

include archived terms