Teoria dei modelli: differenze tra le versioni

 

Se una tale <math>T</math> è finita, <math>K</math> si dice elementare. Una classe elementare può essere individuata da una singola formula:

Viceversa, una classe descrivibile con una sola formula è evidentemente elementare.