A mathematical tool from functional analysis used to construct debiased estimators in semiparametric models.