Izomorfismus je zobrazení mezi dvema matematickými strukturami, které je vzájemne jednoznacné (bijektivní) a zachovává všechny vlastnosti touto strukturou definované. Jinými slovy, každému prvku první struktury odpovídá práve jeden prvek struktury druhé a toto prirazení zachovává vztahy k ostatním prvkum.