Zorn's lemma
Ein Typ heißt vollständig, falls er maximal bezüglich der Inklusion ist. Für einen vollständigen Typ formula_36 gilt also für jedes formula_37 entweder formula_38 oder formula_39. Ein Typ, der nicht vollständig ist, heißt partieller Typ. Partielle Typen können nach dem Satz von Lindenbaum (bzw. dem Lemma von Zorn) immer zu vollständigen Typen ergänzt werden.