>[!info] Definition >Let $\kappa, \lambda$ be cardinals, $\kappa\geq\lambda$ >A logic $\mathcal{L}$ is said to be *$(\kappa, \lambda)$-compact* whenever given a set of $\mathcal{L}$-sentences $\Sigma$ of cardinality $\kappa$, if each subset of $\Sigma$ of cardinality lt;\lambda$ has a model, then $\Sigma$ has a model.