Languages and compatible relations on monoids ∗