Definition
Idempotence of Deductive Closure (Propositional Hilbert Calculus)
For every propositional theory
, taking its deductive closure twice gives the same result as taking it once: Using already derivable formulas as assumptions adds no further consequences.