Noun
deductive closure (plural deductive closures) The set of all the statements that can be deduced from a given set of statements.