Sea ℒ un lenguaje de primer orden de cardinalidad K, donde K es un cardinal infinito.