G {displaystyle G} графы H {displaystyle H} графына изоморфлы тип атала, әгәр G {displaystyle G} графы түбәләре күмәклегенән H {displaystyle H} графы түбәләре күмәклегенә, түбәндәге үҙсәнлектәргә эйә булған f {displaystyle f} биекцияһы булһа: әгәр G {displaystyle G} графында A {displaystyle A} түбәһенән B {displaystyle B} түбәһенә барыусы ҡабырға булһа, ул саҡта H {displaystyle H} графында f ( A ) {displaystyle f(A)} түбәһенән f ( B ) {displaystyle f(B)} түбәһенә барыусы ҡабырға булырға тейеш, һәм киреһенсә — әгәр H {displaystyle H} графында A {displaystyle A} түбәһенән B {displaystyle B} түбәһенә барыусы ҡабырға булһа, ул саҡта G {displaystyle G} графында f − 1 ( A ) {displaystyle f^{-1}(A)} түбәһенән f − 1 ( B ) {displaystyle f^{-1}(B)} түбәһенә барыусы ҡабырға булырға тейеш. Йүнәлешле граф осрағында был биекция шулай уҡ ҡабырғаның йүнәлешен һаҡларға тейеш. Үлсәмле граф осрағында биекция шулай уҡ ҡабырғаның үлсәмен һаҡларға тейеш.