Interdéfinissabilité

Une relation entre prédicats, concepts ou théories telle que chacun peut être défini à l'intérieur de l'autre au moyen de formules d'un langage ambiant fixé, de sorte que, pour tout objet ou structure, le concept tient exactement lorsque sa définition en termes de l'autre tient.