deduktivní uzávěr

Noun

 * 1) deductive closure