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