симметрическая разность, мера, неравенство

[provincialka]

SpBTimes в сообщении #711309 писал(а):

Как это следует из счетной аддитивности?
Это ведь следует из свойств сужения внешней меры на сигма-алгебру

Я не говорила, что следует. Просто $Q$ счетно, и любое его подмножество - тоже. В данной задаче этого достаточно. Но про полноту меры Лебега тоже можно вспомнить.

[SpBTimes]

provincialka
Прошу прощения, просто ответ звучал как будто в общем виде. Теперь понял, что вы имели в виду

[provincialka]

SpBTimes в сообщении #711319 писал(а):

provincialka
Прошу прощения, просто ответ звучал как будто в общем виде. Теперь понял, что вы имели в виду

Нет, это моя вина. В ответе была двусмысленность.

(Оффтоп)

формально верное может выглядеть как неверное: см. мою подпись