. . . "infimo" . "infimo" . .