Definition:Generator of Submonoid