deductive closure

Мат. дедуктивное замыкание