tautological set
tautological set
(logic)tautological set are used for universally true propositionswhere no parameter such as time, space, or subjectivityinfluences the truth value.
[Florentin Smarandache, "A Unifying Field in Logics. / Neutrosophy: Neutrosophic Probability, Set, and Logic", American Research Press, Rehoboth, 1999]