folgende Aussage aus der mathematischen Logik:

Sei Σ eine Menge von Ausdrücken, formuliert in einer Sprache L.

Dann gilt: Ist ein Relations- oder Funktionszeichen aus L in Σ implizit definierbar (Definier- barkeit), dann ist es in Σ auch explizit definierbar.