précondition

Une définition du Jargon Français.

nom féminin.  [logique]. assertion placée dans le code source de sorte qu'elle soit évaluée juste avant une fonction [NM].