Recursivity is manifested when S {\displaystyle S} itself appears within one of the types K i {\displaystyle K_{i}} .
Η αναδρομικότητα εμφανίζεται όταν το ίδιο το S {\displaystyle S} παρουσιάζεται μεταξύ κάποιου εκ των τύπων K i {\displaystyle K_{i}} .