Syntax definition cnacs

Description: Class of Noetherian closure systems.

	Ref	Expression
Assertion	cnacs	$$class\mathrm{NoeACS}$$