Relasi biner

Sebuah relasi "R" dalam "A" disebut memiliki sifat refleksif, jika setiap elemen "A" berhubungan dengan dirinya.
atau
Contoh relasi yang memiliki sifat seperti ini adalah relasi “"x" selalu bersama "y".”, dengan "x" dan "y" adalah anggota himpunan seluruh manusia. Jelas sekali bahwa setiap orang pasti selalu bersama dengan dirinya sendiri.