Bonjour,
J'ai du mal à traduire un énoncé en langage formel. Si quelqu'un pourrait m'aider, voici ce que je souhaiterai formaliser :
Soit , un ensemble fini dont chaque membre appartient à . On décompose en une succession d'ensembles dont leur cardinal est compris entre 2 et .
Parmi tous ces sous ensembles, on recherche une bijection dans un ordre particulier tel que . Si on en trouve une, alors applique une fonction particulière
à l'un des deux sous ensembles.
Merci d'avance pour vos réponses.
-----