What I am asking is not a math "problem" but something about presenting the problem in math language.
Assume $0<a_{i}<1, i=1,2,3,...,N$ and $a_{i} \neq a_{j}$, I want to have a set $A$ which contains the $M$ indices with the top $M$ values of $a_{i}$.
For example, we have $a_{1}=0.2, a_{2}=0.6, a_{3}=0.5, a_{4}=0.7$ and $a_{5}=0.1$, and assume $M=3$. Then $I=\{2,3,4\}$.
But how to present $A$ in math language given all $a_{i}$ and $M$?
Thank you for your help.
A natural language description as you posted may well be adequate. A more formal description would be for example:
I don't think that any of these ways makes the concept clearer than your natural language decription, so I'd stick with it (or maybe add "in other words, ..." with one of the more foraml descriptions to the definition). If you want to be even more formal, try to get rid of all "$\ldots$" in the defienitions I suggested.