. . . . . "infimo" . .