As an historical note: fully normal spaces were defined before paracompact spaces.
歴史的注釈： fully normal 空間はパラコンパクト空間よりも前に定義された。