The property of being concise; succinctness.
Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
An expression that features tautology.
A statement that is true for all truth values of its Boolean atoms.
A statement that is true for all truth values of its propositional variables.