公式定义