Syntax definition csect

Description: Extend class notation with the sections of a morphism.

	Ref	Expression
Assertion	csect	$$class\mathrm{Sect}$$