Syntax definition cchn

Description: Extend class notation with the class of (finite) chains.

	Ref	Expression
Assertion	cchn	$$class{\mathrm{Chain}}_A\underset{\dot{}}{<}$$