The quotient of an abstract interpretation