The set of terms is inductively defined by the following rules: Variables.
Το σύνολο των όρων ορίζεται επαγωγικά από τους παρακάτω κανόνες: Μεταβλητές.