Syntax definition cofr

Description: Extend class notation to include mapping of a binary relation to a function relation.

	Ref	Expression
Assertion	cofr	class ∘r 𝑅