Le défini est donc impliqué dans le définissant de la définition.