Tautologie

Grand Dictionnaire de la langue française numérisé

• n.f. Négligence de style ou procédé rhétorique consistant à répéter la même idée en termes différents, soit dans la même proposition (J'en porte la responsabilité pleine et entière), soit dans deux propositions voisines (Étant en effet Boubouroche, Boubouroche déclara qu'il était Boubouroche [Courteline]).
• n.f. Formule logique universelle valide, selon laquelle A OU A ? A (tautologie du calcul des propositions) et?x P(x) ? ?x P(x) , avec x appartenant à un ensemble non vide (tautologie du calcul des prédicats).

Portail internet "Le Dictionnaire"

• n. (Rhétorique) Répétition inutile, volontaire ou non, d’une même idée en différents termes. Expression qui présente cette répétition de façon figée par l'usage.

Le littré

• Sens 1: Vice d'élocution par lequel on redit toujours la même chose.
• Sens 2: Dans les formules de droit, nom donné aux répétitions de mots consacrés. Ainsi vente faite et consommée est une tautologie à deux termes.