Steinerova soustava trojic

Steinerova soustava trojic [podle Jacoba Steinera], soustava takových trojprvkových částí konečné množiny M, že každá dvouprvková část množiny M je obsažena právě v jednom prvku soustavy. Jestliže se za M zvolí např. množina { 1, 2, 3, 4, 5, 6, 7 }, vznikne tato S. s. t.: { 1, 2, 3 }, { 1, 4, 5}, { 1, 6, 7 }, { 2, 4, 6 }, { 2, 5, 7 }, { 3, 4, 7 }, { 3, 5, 6}.