fully T4
A topological space is said to be fully if every open cover of has star refinement.
A topological space is said to be fully normal if it is a space andis fully .
For example, every pseudometric space is fully .
We have the following implications:
Lindelöf paracompact and fully uniformizable ,
and
fully normal paracompact regular.