Korrektur.

Wenn immer alle Untermengen von konsistenten Mengen konsistent sind, bräuchten wir ja die Orthogonalität nicht.
Das gilt also nur, wenn die Orthogonalität schon gegeben ist.
Type -> Typ.