De bovestaonde definisie is lètterlik ‘n touwpassing vaan de recursiestelling op de gedeiltelik gerangsjikde set N2.