. . "supremum" . .