-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


#state/develop | #lang/en | #SemBr