Fie M o multime cu n elemente (nu prea ne intereseaza cum arata, putem zice si ca M={1,2,...,n} pentru ca putem duce o bijectie de la aceasta la o multime arbitrara cu n elemente). O relatie binara pe M este o submultime [tex]\rho[/tex] a produsului cartezian [tex]M \times M[/tex]. Relatia aceasta va fi reflexiva daca submultimea [tex]\rho[/tex] contine ceea ce se numeste diagonala lui M, adica multimea perechilor [tex]\{(1,1),(2,2),\ldots,(n,n)\}[/tex]. Putem face o reprezentare simpla a relatiei printr-un tabel precum tabla lui Cayley de la grupuri, in care putem preciza daca apare sau nu perechea (i,j) in [tex]\rho[/tex]. Cum relatia noastra este relexiva, toata diagonala tabelului va fi "marcata", penru ca toate vor fi continute. Din cele [tex]n^2[/tex] spatii din tabel am ocupat din start n, deci ne mai raman [tex]n^-n=n(n-1)[/tex] locuri libere. Numarul relatiilor binare il obtinem gandindu-ne in care moduri putem ocupa celelalte pozitii cu "e continuta perechea" sau "nu e continuta perechea" (pentru ca daca daca avem diagonala, relatia e deja reflexiva, nu ne mai intereseaza asa tare cum sunt restul). Sa zicem ca dam un 0 pentru "nu e continuta" si un 1 pentru "e continuta". Deci numarul relatiilor reflexive va fi numarul functiilor definite pe multimea "spatiilor libere", care sunt in numar de [tex]n(n-1)[/tex] cu valori in multimea {0,1}, deci [tex]2^{n(n-1)}[/tex] relatii reflexive. Un alt mod de a formula problema e: Determinati numarul de matrici patratice de ordin n cu elemente din [tex]\mathbb{Z}_2[/tex] care au doar [tex]\hat1[/tex] pe diagonala principala.
