Parciales

Esto es como vos decis. Significa que si agregas un elemento mas a ese conjunto, no te va a quedar ningún modelo que te lo modele, o en otras palabras que derivas a bottom.
Y si, esta bien lo que decis, no es consistente maximal.

Saludos