The Product Rule Definition