Ένας τύπος περιορισμού που αναφέρεται σε ένα σύνολο από το οποίο πρέπει να προέλθει κάποια τιμή για μια ιδιότητα.