Modules

Minimum and maximum values allowed by an inequality.