We begin by describing the meaning of the types of our language: the meaning of each type must be a domain.
Αρχίζουμε περιγράφοντας τη σημασία των τύπων της γλώσσας μας: η σημασία κάθε τύπου πρέπει να είναι ένα πεδίο.