La relazione R={(x,y)| x è divisore di y } definita nell'insieme dei naturali

• è riflessiva, anzi poiché un numero è divisore di sé stesso
• è antisimmetrica infatti se a è divisore di bÞb non è divisore di a
• è transitiva infatti a è divisore di b e b è divisore di c Þ a è divisore di c

La relazione  R={(x,y)| x è più giovane di y} nell'insieme delle persone

• è antiriflessiva, non si può infatti dire di essere più giovani di sè stessi.
• non è simmetrica infatti se a è più giovane di bÞb è più anziano di a
• è transitiva infatti se a è più giovane di b e b è più giovane di di c Þ a è più giovane di c