示性式定義