Ölçülebilir her E kümesi için (?)olmasını gerektirdiğinde, p, ölçümüne göreceli olmak üzere, (?) ye verilen ad,