#REDIRECT Equivalence relation