Syntax definition ccfilu

Description: Extend class notation with the set of Cauchy filter bases.

	Ref	Expression
Assertion	ccfilu	$$class\mathrm{CauFilU}$$