Es sei S ⊆ K {\displaystyle {}S\subseteq {\mathbb {K} }} , a ∈ S {\displaystyle {}a\in S} und T = S ∖ { a } {\displaystyle {}T=S\setminus \{a\}} . Es sei f : S → K {\displaystyle {}f\colon S\rightarrow {\mathbb {K} }} eine Funktion. Dann sind folgende Aussagen äquivalent.