Zerlegung einer Folge

Eine Zerlegung [image] von [image] ist eine endliche Folge [image]. Eine andere Zerlegung [image] heißt feiner als [image] falls [image].

Falls [image] und [image] Zerlegungen von [image]sind, so auch [image], welche feiner ist als [image]und [image].