well-formed inequality

Правильно побудована нерівність (формула або терм)