increasing(
x.s[x];k)
List
||L||
n
n List)| ||s|| = k 
& (
x,y:||s||. x < y 
s[x] < s[y]) }
||L||
x.x;L[i])
L[i] List
x,y:||s||. x < y s[x] < s[y]
Inj(k; L[i]; x.s[x])
k,m:, f:(km). increasing(f;k) Inj(k; m; f)
| 1 | increasing(x.s[x];k) | 1 step |
About:
 |  |  |  |  |  |
 |  |  |  |  |
 |