Syntax definition cnei

Description: Extend class notation with neighborhood relation for topologies.

	Ref	Expression
Assertion	cnei	$$class\mathrm{nei}$$