Definition: Inequality

TODO