an Entity in Data Space: 134.155.108.49:8890
L is a least upper bound of a set S iff for all x in S x