被覆Pが被覆Qの星型細分(starrefinement)であるとは、各A∈Pに対して適当なU∈Qが存在してA∩B≠∅かつB∈PならばB⊆Uとできることをいい、P<∗Qで表す。
你可以称呼覆盖P是覆盖Q的星号精致(refinement)写为P<*Q，如果对于所有A∈P，有U∈Q使得如果A∩B≠∅，B∈P，则B⊆U。