Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Free monoids
Monoid of endofunctions
cefmnd
Next ⟩
df-efmnd
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cefmnd
Description:
Extend class notation to include the class of monoids of endofunctions.
Ref
Expression
Assertion
cefmnd
class
EndoFMnd