supremum (28.31 Elementary)