Syntax definition cclnbgr

Description: Extend class notation with closed neighborhoods (of a vertex in a graph).

	Ref	Expression
Assertion	cclnbgr	class ClNeighbVtx