> Laut der Definition ist ja \(A_{k,n}\) eine Teilmenge aus \(A_n\)
Nein, \(A_{k,n}\) ist eine Teilmenge der Potenzmenge von \(A_n\).
Beispiel. \(A_{3,5} = \{\{1,2,3\}, \{1,2,4\}, \{1,2,5\}, \{1,3,4\}, \{1,3,5\}, \{1,4,5\}, \{2,3,4\}, \{2,3,5\}, \{2,4,5\}, \{3,4,5\}\}\)
Diese Menge lässt sich aufteilen in die 2-elementigen Teilmenge von \(A_4\), zu denen die 5 als neues Element hinzugefügt wurde \(\{\{1,2,5\}, \{1,3,5\}, \{1,4,5\}, \{2,3,5\}, \{2,4,5\}, \{3,4,5\}\}\)) und die 3-elementigen Teilmenge von \(A_4\) (\(\{\{1,2,3\}, \{1,2,4\}, \{1,3,4\}, \{2,3,4\}\}\)).