mingi algebralise süsteemi (nt rühma) ühene kujutamine sama tüüpi süsteemiks, kusjuures säilivad kõik algebralised operatsioonid ja seosed