Change the text to have better cohesiveness.
with an analogous proof for a right-Euclidean relation. An equivalence relation is a relation that is Euclidean and reflexive.
with an analogous proof for a right-Euclidean relation. Hence an equivalence relation is a relation that is Euclidean and reflexive.