idempotent

Une définition du Jargon Français.

adjectif^→.  [mathématique]. Au sens mathématique, se dit d'une fonction qui a exactement le même résultat, qu'on l'appelle une fois ou plusieurs.

C'est le cas, en informatique, de tout ce qui ne crée par d'effet de bord.

Un header en C correct, par exemple, peut être sans problème inclus dans plusieurs autres (voir transclusion) mais ce cas est à la limite car il lui faut pour cela détecter qu'il a déjà été inclus, d'ordinaire en déclarant un symbole global servant de marqueur, ce qui n'est pas neutre vis-à-vis du reste.

Exemple : "stdio.h" commence ainsi :

#ifndef _STDIO_H         /* si le symbole _STDIO_H n'est pas déjà défini
# define _STDIO_H       /* ... le définir ... */
  ((tout le reste))     
#endif /* !_STDIO_H */  /* rien ne sera donc inclus si _STDIO_H a déjà été défini */

Voir aussi fonctionnel.