El conjunto de términos es finito.