Independent (Irredundant) Bases of a Theory

A base of a set of propositions $\Gamma$ is a subset that proves all of $\Gamma$ yet has no redundant member — a minimal generating set for the deductive closure of $\Gamma$.