Definition. Submonoid [dm-000R]

A submonoid of a monoid (X, \iota , \bullet ) is a subset Y \subseteq X such that Y is closed under \bullet and \iota \in Y