由正交性和三角形性定义的对称函数