Buongiorno,
avrei una domanda da sottoporvi: quali proprietà valgono per la relazione "essere il successivo di" nell'insieme dei numeri interi naturali?
Ho individuato la proprietà antisimmetrica, in quanto se a è il successivo di b, b non è il successivo di a.
Dalle mie riflessioni non è transitiva, infatti se a è il successivo di b e b è il successivo di c, a non è il successivo di c.
Come faccio a verificare se è riflessiva o meno?
In quali casi è una relazione d'ordine?
Vi ringrazio,
Buona serata