nom propre→. [commande]. Fonction classique, renvoyant le successeur d'un élément d'un ensemble ordonné, comme une liste. Inverse : pred. Exemples : succ(1)=2, succ(Mitterrand)=Chirac.
