Notation for indexing an indexed sequence.

Question

I have a notation question. Say I have the following:

$S = \{a_{1}, \ldots, a_{n}\}$ a finite list of integers (order matters).

What I really want is to express that now I pick only $K$ elements, in any order.

So, I came up with this idea $S' = \{a_{i_1}, \ldots, a_{i_k}\}$ where $i$ ranges from 1 to $n$. Is it somehow correct?

Thanks in advance!

Answer 1

$$S=\{a_1,...,a_n\}, n\in \mathbb N$$ $$S'=\{b_1,...b_k\}, k\in \mathbb N$$ $$S'\subseteq S$$

This is my approach, don't know for sure this is the best way. $S'\subseteq S$ means, $S'$ is a subset from $S$.

Answer 2

Not entirely correct. Note that the footnotes $1, \dots, k$ already indicate that you chose $k$ elements. If you want to select distinct $k$ elements out of $S$, then saying something like "Let $1 \leq i_{1} < \cdots < i_{k} \leq n$" is clear enough.