Uzávěr (logika)
Uzávěr (operátor konsekvence) na množině S je v logice funkce  splňující podmínky 

 
 
 

Používá se v algebraické logice k formalizaci konceptu vyplývání, platí tedy

Někdy je vyžadována ještě kompaktnost, tedy

Množina všech tautologií je .
T je sporná, pokud .
Pevné body funkce Cn se nazývají teoriemi. Bezesporná teorie T je úplná, pokud   .

Logika