Interdefinibilidad

Una relación entre predicados, conceptos o teorías en la que cada uno puede definirse dentro del otro mediante fórmulas de un lenguaje circundante fijo, de modo que para cualquier objeto o estructura el concepto se cumple exactamente cuando su definición en términos del otro se cumple.