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.