İki benzer yapı arasında birebir, örten ve de matematiksel yapıyı koruyan bir fonksiyon olma durumuna denir. Mesela Grup Teorisi'nde verilen iki A ve B grupları arasında eğer A'dan B'ye giden birebir, örten bir f fonksiyonu ayrıca f(xy)=f(x)f(y) eşitliğini A daki her x ve y elemanı için sağlıyorsa, ve de A'nın etkisiz elemanını B'nin etkisiz elemanına...

[İng. linear isomorphism ] [Alm. linear Isomorphismus ] : İki doğrusal uzay arasında birebir-örten doğrusal dönüşüm. anlamdaşı: doğrusal izomorfizm.

[İng. isomorphism ] [Alm. Isomorphismus ] [Fra. isomorphisme; İsomorphie ] : Tanım bölgesindeki matematiksel yapıyı değer bölgesindeki yapıya dönüştüren bire-bir ve örten dönüşüm. anlamdaşı: izomorfizm.

[İng. homeomorphism ] [Alm. Homöomorphie; Homöomorphismus ] [Fra. homéomorphisme ] : Bir topolojik uzaydan ötekine yapıyı koruyan birebir örten fonksiyon. anlamdaşı: topolojik izomorfizm, homeomorfizm.