Syntax definition ckq

Description: Extend class notation with the Kolmogorov quotient function.

	Ref	Expression
Assertion	ckq	class KQ