Читаю учебник "Элементы теории функций и функционального анализа" (А.Н. Колмогоров, С.В. Фомин). Там рассматривается вопрос о минимальном продолжении полукольца

на кольцо

(

). Утверждается, что таким продолжением будет система множеств, представимых в виде

, где

.
"его минимальность среди всех колец, содержащих

,
очевидна". Подскажите, пожалуйста, очевидное.
upd: В учебнике страница 45