Processing math: 100%

equivalence relation