Насколько я знаю, множество С считается измеримым, если для любого

существует конечное число элементов полукольца B_1, B_2, ... B_N такое, что внешняя мера симметрической разности С и объединения B_i меньше

. Это неверно?
Википедия: Множество называется измеримым относительно меры

, если оно принадлежит

-алгебре, на которой определена

.