minoration minorization minorizer majorisation subratio majorizer subminimality majorization minor subsemiring