Syntax definition cnacs

Description: Class of Noetherian closure systems.

	Ref	Expression
Assertion	cnacs	class NoeACS