Star refinement
In mathematics, specifically in the study of topology and open covers of a topological space X, a star refinement is a particular kind of refinement of an open cover of X.
The general definition makes sense for arbitrary coverings and does not require a topology. Let be a set and let
be a covering of
, i.e.,
. Given a subset
of
then the star of
with respect to
is the union of all the sets
that intersect
, i.e.: