Let be the set of all rectangles in a plane, and the equivalence relation "has the same area as".
Let be the set of ordered pairs of integers with not zero, and define an equivalence relation on according to which if and only if .