Die behandelte Spezifikationssprache für parametrisierte Daten mittels initial eingeschränkter algebraischer Theorien (Kanons) basiert auf der Theorie partieller heterogener (mehrsortiger) Algebren, deren Varietäten durch Implikationen axiomatisiert werden. Ergebnisse über Signaturketten werden dabei auf beliebige Kanons erweitert. Die Grenzen der Methode werden im ersten Teil aufgezeigt. Dabei wird ein Satz über die Existenz von Teilalgebren bewiesen. Im zweiten Teil wird der Begriff des definierbaren Prädikats auf Kanons übertragen, wobei ”hidden functions” zugelassen werden müssen. Bewiesen wird z.B., daß jede über einer Theorie erster Ordnung definierbare Relation über dem entsprechenden Kanon spezifizierbar ist und daß für jede endliche Theorie erster Ordnung ein entsprechender Kanon existiert.