Definition:Proper Refinement of Normal Series