Question à propos d'un symbole

[invite1eae1089]

Bonsoir à tous,
J'ai une petite question à propos d'un symbole binaire, que signifie où a et b sont deux entiers ?
Merci à tous ceux qui vont m'aider.
-----

[Seirios]

Bonjour,

Pour moi, ce symbole n'a aucune signification hors contexte.

[invite765732342432]

En Latex, ce symbole semble être désigné par "\prec"
N'est-ce pas un symbole utilisé pour indiquer une relation d'ordre (mais qui ne soit pas l'ordre naturel noté avec <) ?

[invite1eae1089]

Merci à vous deux !!
Oui c'est sans doute une relation d'ordre mais je ne sais pas à quoi elle correspond ?
Je vais vous préciser le contexte :

En fait j'étudie la croissance d'un groupe G engendré par un nombre fini d'éléments S et je considère donc sa fonction croissance qui a un entier k associe le nombre d'éléments dont la longueur est plus petite que k (la longueur d'un élément g est le plus petit entier n tel qu'il existe et tels que ).

Et en fait j'avais comme définition que la croissance d'un groupe est dite polynômiale si pour un d positif . Et je ne connais pas la signification de ce symbole.
Pouvez-vous m'en dire plus ?

[A voir en vidéo sur Futura]

[invite4118db1e]

Bonjour,

Il s'agit du symbole qui veut dire "prédécesseur", autrement dit a=b-1.
Il a son complémentaire "sucesseur", ainsi que les notions de stricte ou large.

Il faut reconnaître que c'est fort peu employé.

A+ MZ

[Médiat]

Bonjour,

Dans le cas général, la réponse de Faith est correcte, et dans votre cas particulier, il semble que ce soit la relation d'ordre habituelle.