deductive closure

Noun

 * 1) The set of all the statements that can be deduced from a given set of statements.