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 redondantesAlmanca irredundante Bedingungsmenge; nicht übergeschlossene Bedingungsmenge