Here, \(F\)  is the distribution of the trained models, which can be treated as a random variable.
The bias-variance decomposition of the MSE of estimators is a well known result [1]}.
For completeness, we provide a proof in Appendix .
Figure REF  visualizes bias and variance of a PD curve, and the variance due to Monte Carlo integration.
