Jeźli ja weznōńć dosłownie, to powyższo definicyjo je zastosowaniym twiyrdzynio ô rekuryncyji na czyńściowo uporzōndkowanym zbiorze N2.