Simétrica

Sea una relación $f(A \times A ) \longrightarrow \{V,F\} $ diremos que es simétrica si siendo dos elementos $a_i$ y $a_j$ elementos cualesquiera de $A$, si $a_i$ está en relación con $a_j$ implica que $a_j$ está en relación con $a_i$ $$ \{ \forall a_i, a_j \in A \} [ f(a_i \times a_j) \rightarrow V] \longrightarrow [ f(a_j \times a_i) \rightarrow V] $$