Borel set
To denote the number of points of formula_1 located in some Borel set formula_11, it is sometimes written