Description: Define the domain quotient predicate. (Read: the domain quotient of R
is A .) If A and R are sets, the domain quotient binary
relation and the domain quotient predicate are the same, see brdmqssqs .
(Contributed by Peter Mazsa, 9-Aug-2021)