1964 subst. fém. math. minorantes (Hist. gén. sc., t.3, vol.2, p.39), 1968 subst. masc. (Lar. encyclop. Suppl.); emploi spéc. en math. comme subst. du part. prés. de minorer*.