Definition:Equivalence Class/Technical Note

Technical Note on Equivalence Class
This is a custom construct which has been set up specifically for the convenience of the users of.

Note that there are two arguments to this operator: the part between the brackets, and the subscript.

If either part is a single symbol, then the braces can be omitted, for example: