But the restriction to a subset of all available functions has another great benefit: it is possible to obtain domains that contain their own function spaces, i.e. one gets functions that can be applied to themselves.
Ο περιορισμός όμως σε ένα υποσύνολο από όλες τις διαθέσιμες συναρτήσεις έχει άλλο ένα θετικό αποτέλεσμα: μπορούν να υπάρξουν πεδία που περιέχουν τον ίδιο το χώρο συναρτήσεών τους (function space), δηλαδή με συναρτήσεις που να μπορούν να εφαρμοστούν στον εαυτό τους.