图要么都属于该类，要么都不属于该类。等价来说，可以使用这类图的指示函数（将图转化为布尔值的函数，属于该类的图为真，否则为假）将图属性形式化，其中任何两个同构图必须具有相同的函数值。类似地，图常量或图参数可以形式化为一个函数，还可从图推广到更广泛的值类，如整数、实数、数字序列或多项式，这些值对应的图其任何两个同构图都具有相同的值。
图属性的特征.对于图上定义的某些自然偏序关系或预序关系，许多图属性与其相关性较高:这些定义可以从图属性扩展到图的数值常量：如果图常量形式化为对应到实