quotient

noun

1. The number (either a fraction or an integer) resulting from the division of one number by another.

   “Dividing 12 by 4 yields a quotient of 3.”

2. By analogy, the result of any process that is the inverse of multiplication as defined for any mathematical entities other than numbers.
3. (obsolete, rare)A quotum or quota.
4. The number of runs scored per wicket lost when batting, divided by the number of runs conceded per wicket taken when bowling — used as a league table tiebreaker in some first-class tournaments.
5. A mathematical structure formed by identifying elements within a larger one.

verb

1. To identify elements within a mathematical structure so as to create a quotient.

   “We show that such deformations still exists after quotienting out by diffeomorphisms only if the non linear addition is non associative.”

   “In type theory, one commonly replaces quotients with setoids. In this approach, the delay datatype quotiented by weak bisimilarity is still a monad–a constructive alternative to the maybe monad.”