Definition:Unbounded Above Mapping