Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Magmas and internal binary operations (alternate approach)
Laws for internal binary operations
ccllaw
Next ⟩
casslaw
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccllaw
Description:
Extend class notation for the closure law.
Ref
Expression
Assertion
ccllaw
class clLaw