Théorie des ensembles

[Wizkyll]

Bonjour,
je bloque sur un exercice sur les ensembles ordonnés. Voici l'énoncé :
Proposez une fonction Succ(A,Q) qui retourne l'ensemble des successeurs de A dans Q.
Il est précisé avant que Q=(V(Q),≤) un ensemble ordonné et A ∈ p(Q) (=l'ensemble des parties de Q)
Donc A est un sous ensemble de Q
Cependant je n'arrive pas à comprendre le concept de successeur pour un sous-ensemble.
Par exemple (si j'ai bien compris), pour l'ensemble Q={1,3,4,7,8,10}, l'ensemble des successeurs à A={3} dans Q est S={4,7,8,10}.
Mais si A={1,4} , à quoi est égal S l'ensemble des successeurs à A dans Q ? S={7,8,10} ?
Merci d'avance pour les réponses

[pascal16]

J'ai lu vite fait, vérifie si tu comprends comme moi :

Q={1,3,4,7,8,10},
le successeur de 3, c'est 4.
l'ensemble des successeur du singleton {3} est le singleton{4}

Q={1,3,4,7,8,10},
l'ensemble des successeurs à A={3} dans Q est S={4}.

Q={1,3,4,7,8,10},
A={1,4} , S={3,7}

[Wizkyll]

Merci pour votre réponse.
Je n'avait en effet pas compris cela comme ca.
Merci encore.