示性函数性质