Subclasses of Monoid with a solid thoretical foundation and practical purposes