inequality, algebra, application, generalization