For every variable represents a constant form that all its values possess, and this can be regarded as a formal property of those values.

• 因为每一个变项都表示一个为它的所有值具有的不变形式，而这一形式就可以看作为这些值的形式属性。