In matematica si definisce funzione coppia una funzione che associa ad ogni coppia ordinata di numeri naturali un numero naturale con corrispondenza uno a uno; è quindi un'applicazione biiettiva π {\displaystyle \pi } fra l'insieme prodotto N × N {\displaystyle \mathbb {N} \times \mathbb {N} } e l'insieme dei numeri naturali N {\displaystyle \mathbb {N} } : π : N × N → N. Wikipedia