A mathematical statement that has an inequality sign.