Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Alternative definitions for magmas and semigroups
cmgm2

Next ⟩ ccmgm2

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmgm2

Description: Extend class notation with class of all magmas.

		Ref	Expression
	Assertion	cmgm2	$class MgmALT$