为两个图, 若存在双射函数 , 对于 , 当且仅当 , 并且 重数相同, 则 是同构的, 记作 .

图的同构关系具有自反性, 对称性, 传递性.