Deductively closed set of formulae ($S=\mathrm{Cn}(S)$)

A set $S$ of formulae is deductively closed whenEquivalently, $S$ equals its deductive closure $\mathrm{Cn}(S)$.