Upprunaleg setning: Jafngildisvensl „ ~ “ á mengið S kallast sjálfhverf ef „ a “ ~ „ a “ gildir fyrir öll „ a “ í S.
Leiðrétt setning: Jafngildisvensl „ ~ “ á mengið S nefnast sjálfhverf ef „ a “ ~ „ a “ gildir fyrir öll „ a “ í S.