subquotient (quotient + sub-; below_under)
A quotient object of a subobject