Una relación de consecuencia lógica es "compacta" justo cuando formula_7 es una consecuencia lógica de un conjunto de enunciados formula_1, sólo si formula_7 es una consecuencia lógica de un subconjunto finito de formula_1: