Syntax definition cacs

Description: The class of algebraic closure (Moore) systems.

	Ref	Expression
Assertion	cacs	class ACS