Además el teorema de compacidad garantiza la existencia de un modelo que contiene al anterior donde se satisface que: