Only expressions which can be obtained by finitely many applications of rules 1 and 2 are terms.
Μόνο οι εκφράσεις οι οποίες μπορούν να ληφθούν από πολλές εφαργμογές των κανόνων 1 και 2 είναι όροι.