Syntax definition cnt

Description: Extend class notation with interior of a subset of a topology base set.

	Ref	Expression
Assertion	cnt	$$class\mathrm{int}$$