Let $\mathcal{R}$ be relation on $A$ and $A_0 \subseteq A$. The $\mathbf{restriction}$ of $\mathcal{R}$ to $A_0$ is defined to be the relation $\mathcal{R} \cap (A_0 \times A_0) $.
$\mathbf{Homework \; Problem:}$ Please prove that that the restriction of equivalence relation is also an equivalence relation.
Attempt:
Let $\mathcal{R}$ be equivalence relation on set $A$. Pick any point $x \in A_0$. We have to show that $(x,x) \in \mathcal{R} \cap (A_0 \times A_0) $. But, we are given that $x \in A$ as well, so $(x,x) \in \mathcal{R}$. Since $x \in A_0$, then $(x,x) \in A_0 \times A_0$. therefore, $(x,x) \in \mathcal{R} \cap ( A_0 \times A_0) $.
Next, suppose $(x,y) \in \mathcal{R} \cap (A_0 \times A_0) $ and since $ \mathcal{R} \cap (A_0 \times A_0) \subseteq \mathcal{R} $, then $(x,y) \in \mathcal{R}$. so $(y,x) \in \mathcal{R}$. Also, we know $(x,y) \in A_0 \times A_0$. So by definition of product of a set with itself, then $(y,x)$ must be in $A_0 \times A_0$ as well. Therefore $(y,x) \in \mathcal{R} \cap ( A_0 \times A_0 )$. So we have symmetry.
Finally, say $(x,y)$ and $(y,z) $ are in $\mathcal{R} \cap (A_0 \times A_0) $. First, we obtain $(x,z) \in \mathcal{R}$ by transitivity of $\mathcal{R}$. since $x,y,z \in A_0$, then $ (x,z)$ must be in $A_0 \times A_0$ and so $(x,z) \in \mathcal{R} \cap (A_0 \times A_0)$ and so we get transitivity.
Is this a sufficient argument? Thanks.