Hogyan lehet rövidebben leírni az alábbi kifejezést: 1<=k1<k2<k3<. <ki<=n?

A kérdésben lévő indexelés szerint i darab k értéked van, és ezt nem tükrözi az általad bevezetett jelölésmód.

Inkább

1<=k_j<k_l<=n 1<=j<l=<i

Alulvonással jelöltem az alsó indexet. Ez így nem túl tudományos, viszont valamelyest korrekt.

De ha nagyon tudományos akarsz lenni, akkor:

k_j ∈ [1,n] ∀ j ∈ ℤ ∩ [1,i] : k_l < k_{l+1} ∀ l ∈ ℤ ∩ [1,i-1]