Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Internal binary operations
cclintop

Next ⟩ cassintop

Metamath Proof Explorer

Ascii
Structured

Syntax definition cclintop

Description: Extend class notation with class of closed operations for a set.

		Ref	Expression
	Assertion	cclintop	class clIntOp