Syntax definition cfi

Description: Extend class notation with the function whose value is the class of finite intersections of the elements of a given set.

	Ref	Expression
Assertion	cfi	$$class\mathrm{fi}$$