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
Unicode
Structured
Syntax definition
cclintop
Description:
Extend class notation with class of closed operations for a set.
Ref
Expression
Assertion
cclintop
class clIntOp