How about an infinite (strictly) descending sequence in a well-founded relation? It does not have a special name because it does not exist for trivial reasons. But it fits the description, there are tons of proofs where people construct infinite descending sequences of natural numbers, ordinals etc.