Man kann in der Mathematik ein Objekt nicht nur durch eine Definitionsgleichung (explizit), sondern auch durch eine charakteristische Eigenschaft (implizit) definieren.
Insbesondere bei Relationen vom Typ Funktion oder Verknüpfung kommt es vor, dass sie nur »implizit definiert« werden können. Dies geschieht dadurch, dass zunächst eine Relation (als Untermenge eines kartesischen Produkts) mit ...
