-monoid -submonoid A -submonoid of an -monoid is a subalgebra containing the identity, #m/def/ralg i.e. is itself an associative algebra; and . Properties The commutator algebra of an associative subalgebra is a Lie subalgebra #state/develop | #lang/en | #SemBr