I am reading a definition in a paper, but am not sure of how to interpret the following definition:
If $K \in {[n] \choose k}$, then let $\operatorname{Path}(K)$ denote the set
$$\{S: S \text{ is a set of pairwise vertex disjoint paths from} [k]\setminus(K \cap [k]) \text{ to }K\setminus([k] \cap K)\}\;.$$
Could someone explain me what the $[k]$ mean and how to interpret the ${[n] \choose k}$?