A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Adottak a diszjunkt és halmazok, valamint az elemein a , a elemein a kétváltozós művelet (tehát , illetve esetén és ). Mindkét művelet asszociatív; más szóval: és félcsoportok. Azt is tudjuk, hogy tetszőleges -hez léteznek olyan elemek, amelyekre . Legyen egy tetszőleges leképezés. Definiáljuk az halmazon a műveletet a következőképpen: | |
Mutassuk meg, hogy a művelet akkor és csak akkor asszociatív, ha homomorfizmus, azaz tetszőleges esetén . |