Syntax Definition cqs 5946

Description: Extend the definition of a class to include quotient set.

Hypotheses

Ref	Expression
cA	class A
cR	class R

Assertion

Ref	Expression
cqs	class (A/.R)

See definition df-qs 5951 for more information.