English Quotient type Cited by user Caleb Stanford on 13 Sep 2023 In the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation.