tautology
n//tɔˈtɑl.ə.d͡ʒi//tautologi
(uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
(countable) An expression that features tautology.
(countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.
(countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.