The operatorformula_23 maps a function to zero if and only if that function is constant.
Prostor vseh (primernih) realnih funkcij na realnih številih je vektorski prostor in diferencialni operator formula_34 je linearni operator.