Seucara harfiah, defines di ateh merupakan peunerepan teorema rekursi bak himpunan meuroy seubagian N2.