Definimos:
$\mathbf{r}$ es reflexiva sobre $A$ si y solo si $\forall x\in A ( \langle x,x \rangle \in \mathbf{r})$.
$\mathbf{r}$ es simetrica sobre $A$ si y solo si $\forall x, y \in A ( \langle x,y \rangle \in \mathbf{r} \longrightarrow \langle y,x \rangle \in \mathbf{r})$.
$\mathbf{r}$ es transitiva sobre $A$ si y solo si $\forall x,y,z \in A ( \langle x,y \rangle \in \mathbf{r} \& \langle y, z \rangle \in \mathbf{r} \longrightarrow \langle x,z \rangle \in \mathbf{r} )$.
Decimos que $\mathbf{r}$ es una relacion de equivalencia sobre $A$ si y solo si $\mathbf{r}$ es reflexiva, simetrica y transitiva sobre $A$.
