artıksız kısıt kümesi
-
İçerisinde artık kısıt bulunmayan kısıt sistemi (topluluğu).
İngilizce irredundant constraint setFransızca ensemble de contraintes non redondantes, mAlmanca irredundante Bedingungsmenge; nicht übergeschlossene Bedingungsmenge