Правило произведения или тождество Лейбница — характерное свойство дифференциальных операторов.

Часто тождество Лейбница включается как аксиома при определении дифференцирования.

Примеры

• Для производной

• Для дифференциала

Вариации и обобщения

Операция на градуированной алгебре удовлетворяет градуированному тождеству Лейбница, если для любых ,

где  — умножение в . Большинство дифференцирований на алгебре дифференциальных форм удовлетворяют этому тождеству.