≑

#REDIRECT Equivalence relation