Eliminierbarkeit Wenn eine Äquivalenzdefinition korrekt gebildet ist, kann in allen Sätzen das Definiendum durch das Definiens oder das Definiens durch das Definiendum ersetzt werden, ohne dass sich der Wahrheitswert der Aussage ändert.