The quotient space, X/~ is the partitioning of X s.t. each partition contains only equivalent (via ~) elements.