A mathematical object that characterizes the most precise possible estimator for a causal parameter under given assumptions.