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

Next ⟩ cclintop

Metamath Proof Explorer

Ascii
Structured

Syntax definition cintop

Description: Extend class notation with class of internal (binary) operations for a set.

		Ref	Expression
	Assertion	cintop	class intOp