Ένα σύνολο σαφείς κανόνες που θεσπίζει ένα σύνολο χαρακτήρων και την ένα προς ένα σχέσεις μεταξύ τους χαρακτήρες του συνόλου και κωδικοποιημένη παρατηρήσεις τους. Σύνολο βλέπε επίσης αμετάβλητη χαρακτήρα.