Syntax definition csethom

Description: Syntax for the set of set morphisms.

	Ref	Expression
Assertion	csethom	$$class\underset{Set}{⟶}$$