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

Next ⟩ ccsgrp2

Metamath Proof Explorer

Ascii
Unicode

Syntax definition csgrp2

Description: Extend class notation with class of all semigroups.

		Ref	Expression
	Assertion	csgrp2	$class SGrpALT$