What do we call the "repetition" construct (if it's even proper English)?

repetition

ditto 1: a thing mentioned previously or above —used to avoid repeating a word —often symbolized by inverted commas or apostrophes 2: a ditto mark

Related

"I remember the day where" vs. "I remember the day when"
Determining which good sentiment to wish at each holiday
Term for if-then statements where the "then" part does not logically follow
Origin of "Take this question with a grain of salt"?
Origin of Doobie (joint, marijuana cigarette)
Is there an alternate term for "the power behind the throne?"
Using “nor” without “neither” — special case
"It is fun to write letters" vs. "It is fun writing letters"
using "the"+adj without a noun
Is an ellipsis a distinct punctuation mark?
More formal synonyms of "snob"
What is the word for when someone is overly nice and actually isn't nice at all? [closed]