Двустороннее борелевское множество

класса a- борелевское подмножество метрического или (более широко) совершенно нормального топояогич. пространства, являющееся одновременно множеством аддитивного класса aи мультипликативного класса а, т. е. принадлежащее одновременно классам Fa и Ga.. Д. б. м. класса 0 - открыто замкнутые множества. Д. б. м. класса 1 - множества типов Fs и Gd одновременно. Любое борелевское множество класса aесть Д. б. м. класса b при всяком b>a. Д. б. м. класса а образуют поле множеств.