On p. 17 of "Applied Differential Geometry" by William Burke, he uses the idea of a "smaller set." (AxA)/~. He initially mentioned this idea, only briefly, on p. 8:
"The smaller set formed from the set S by using the equivalence relation ~ is written S/~."
So what is the smaller set? (google and wikipedia have no info)
Thanks in advance.