Syntax Definition cfi 6945

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

Assertion

Ref	Expression
cfi	class fi

See definition df-fi 6946 for more information.