Support ...} = a, indicating that any element belonging to a set is less than or equal to the value of a, indicating that the set has an upper bound. The difference with Max {...} = a is super {...} = a does not necessarily have an element exactly equal to the value of sup.