da vict85 » 27/01/2015, 18:06
Una relazione è definita come un sottoinsieme del prodotto cartesiano. In questo senso la tua domanda non ha alcun senso, un sottoinsieme dei numeri naturali non sarà mai una relazione di nessun tipo. Se la tua domanda è se ogni relazione su \(\mathbb{N}\) è di ordine o di equivalenza la risposta è ovviamente no.