Syntax definition cacs

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

	Ref	Expression
Assertion	cacs	$$class\mathrm{ACS}$$