公式性质