http://arxiv.org/abs/0812.0580 preprint of P.N. Lebedev Physical Institute, No. 39, 1975 BRST の T がこれ．はじめて見た．

有界閉区間は，可算個の閉集合の disjoint union で書けない．