Izomorfizam
U matematici, izomorfizam (grč.: isos "jednak", i morphe "oblik") je binarna mapa f takva da oboje f i njegovo inverzno f −1 jesu homomorfizmi, tj. structure-preserving mappings. Neformalno, izmorfizam je vrsta mape među objektima, koja pokazuje odnos između dva svojstva ili dvije operacije. Ako postoji izomorfizam između dvije strukture, zovemo ih izomorfnim. U određenom smislu, izomorfni setovi strukturalno identični, ako ignorišemo finije različitosti koje se mogu pronaći u svojim definicijama. Prema Douglas Hofstadter: "Riječ "izomorfizam" se primjenjuje kada dvije kompleksne strukture mogu da se preklapaju, na način da svaki dio jedne strukture odgovara dijelu druge, gdje "odgovara" znači to da dva dijela igraju slične uloge u njihovim strukturama." (Gödel, Escher, Bach, str. 49)