for every where is a non-empty set and , an equivalence class of is the set:
since those are sets, unlike an ordered pair the order of the numbers in sets doesnt matter so , and so we get:
consider the sets from a previous example:
we get: