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