Borel measure
A Borel measure formula_10 on formula_11 is called a "Lévy measure" if formula_12 and