Об эффективной измеримости

Вводится понятие множеств эффективно не меры нуль и множеств эффективно не первой категории и показывается, что первые содержат подмножество положительной меры, а вторые – $G_\sigma$ не первой категории.