En binær relasjon $R$ på mengden $\{a, b, c\}$ er refleksiv hvis $\langle a, a \rangle, \langle b,b \rangle, \langle c,c \rangle \in R$.
Vi er alltid nødt til å se på «den underliggende mengden», altså mengden relasjonen er på, for å avgjøre om en relasjon er refleksiv. Vi kan for eksempel ikke vite om relasjonen $\{\langle 1,1 \rangle, \langle 2,2 \rangle , \langle 1,2 \rangle \}$ er refleksiv eller ikke uten å vite hvilken mengde relasjonen er på. Hvis dette er en relasjon på mengden $\{\1,2\}$ så er den refleksiv, men hvis det er en relasjon på mengden $\{ 1,2,3 \}$ så er den ikke refleksiv.