Syntax definition csethom

Description: Syntax for the set of set morphisms.

	Ref	Expression
Assertion	csethom	class Set⟶