Reflexiva

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es reflexiva si para todo elemento de a esta en relación consigo mismo. $$ \{ \forall a_i \in A \} f(a_i \times a_i) \rightarrow V $$