equals package:ersatz

Tests if two relations <math> are equal, i.e., they contain the same elements.