Pigada in manera leterale, sa definitzione de subra est un’apllicatzione de su teorema de sa recorsione in su grupu partzialmente ordinadu N2.