A la letera, la definiziun de sora l’è un aplicaziun del teurema di ricursiun sül insema en part urdenà N2.