Syntax definition corvc

Description: Extend class notation to include the preimage set mapping operator.

	Ref	Expression
Assertion	corvc	class ∘RV/𝑐 𝑅