Idempotent monoids