マグマ("s", ∗)が一つも単位元を持たないこともありうる。