terminology "set-quotient"
attribute quotients => funext