Mengapa kita perlu memedulikan sifat-sifat ini? Ternyata beberapa kelompok sifat sering muncul bersama-sama, dan untuk kumpulan sifat semacam itu kita dapat membuktikan hasil umum tentang relasi-relasi yang memenuhinya. Jadi, jika kita dapat membuktikan bahwa suatu relasi bersifat refleksif, simetris, dan transitif (apa pun arti istilah-istilah itu), kita tahu bahwa relasi tersebut merupakan relasi ekuivalensi, sehingga kita juga tahu bahwa relasi itu memiliki banyak sifat lain. Sebagian besar matematika diskret membahas kajian jenis-jenis relasi tertentu. Salah satu favorit saya adalah relasi yang menghasilkan graf.