Borel set
Its integral over a Borel set formula_56 gives the expected number of eigenvalues contained in formula_57: