n. 1. (Topology) (of a cover) another cover such that each member of the second lies inside a member of the first. 2. (of a partition of an interval on the line) a new partition constructed by further division of members of the original partition. 3. (of a normal series) a normal series containing every member of the given normal series. See also Schrier refinement theorem.