Database
BASIC ALGEBRAIC STRUCTURES
Monoids
Monoid homomorphisms and submonoids
csubmnd
Next ⟩
df-mhm
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csubmnd
Description:
Class function taking a monoid to its lattice of submonoids.
Ref
Expression
Assertion
csubmnd
class
SubMnd