Star refinements are used in the definition of fully normal space and in one definition of uniform space.
2.
Finally, the covering \ mathcal U is said to be a " star refinement " of \ mathcal V if for every i \ in I the star \ mathrm { st } ( U _ i, \ mathcal U ) is contained in some V _ j.