Interdefinierbarkeit

Eine Beziehung zwischen Prädikaten, Begriffen oder Theorien, bei der sich jedes in dem anderen durch Formeln einer festgelegten Umgebungssprache definieren lässt, so dass für jedes Objekt oder jede Struktur der Begriff genau dann gilt, wenn seine Definition in Bezug auf das andere gilt.