We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.

• 该文以数学方法论证了一类网络成本分配函数的性质,证明了成本分配函数具有规范形式的充要条件是它满足无记名性,可加性和等价性。