until definition [Morphismus von Prägarben]