subminimality minimalization minimization minorization minimin subminimum minimality minoration minorizer reduction