A general class of algebraic inequalities for generating new knowledge and optimising the design of systems and processes