Ensemble fini d’inéquations qui peuvent être vérifiées simultanément.
Dans un plan cartésien, on peut représenter un système d’inéquations à deux variables par les graphiques de chacune de ces inéquations. Les points d’intersections de ces graphiques constituent les solutions du système.