From card no. 34PDP7P5:

lubb :*
lubb :* Least Upper Bound B, where B is a set lubb