K-monoid -submonoid A -submonoid of an K-monoid is a subalgebra containing the identity, falg i.e. is itself an associative algebra; and 𝟙. Properties The commutator algebra of an associative subalgebra is a Lie subalgebra develop | en | sembr