Monoids | Group theory episode 1