Субнормальные пространства и проблема типа Даукера

В статье рассматривается класс субнормальных пространств — пространств, в которых любые два замкнутых дизъюнктных множества отделяются непересекающимися множествами типа $G_\delta$. Доказывается, что если пространство $X$ субнормально и счетно метакомпактно, то произведение $X$ на отрезок (или на любое $\sigma$-компактное хаусдорфово пространство со счетной сетью) является субнормальным. Приводится пример слабо нормального пространства, не являющегося субнормальным.