 Finitary set of formulae

A set $S$ is finitary when it is deductively equivalent to some finite set $F$: both $S⊢F$ and $F⊢S$.