Re: Compactness


hagman wrote:

As a mathematical concept, "compact" is a term only used in topology -
at least I never heard of it in any other (mathematical) context.

No, not at all, there is a theorem of propositional calculus, named
Compactness Theorem, which states that if S be a set of propositional
formulas, then S is satisfiable iff every finite subset of S is
satisfiable.

.