Refleksivna relacija je ona binarna relacija za koju vrijedi, uz zadani skup S te binarnu relaciju R na skup S, tj.
R ⊆ S × S .
Često se običava umjesto ( x , y ) ∈ R {\displaystyle (x,y)\in R} piše
x R y {\displaystyle xRy}
Relacija je refleksivna ako je
x R x , ∀ x ∈ A {\displaystyle x{\mathcal {R))x,\forall x\in A} (svaki element je u relaciji sam sa sobom);