Un -disegno con è una coppia ordinata in cui V è un insieme di
cardinalità di elementi detti vertici o punti e B è una famiglia di parti di V ciascuna
di cardinalità k dette blocchi e non necessariamente distinte con la proprietà che ciascuna
t-upla di vertici è contenuta in esattamente blocchi. Ad un -disegno si può
associare una matrice di incidenza dove se il blocco j contiene il
vertice i e altrimenti.
Un -disegno con t = 2 e k < v si chiama BIBD o disegno. Un
disegno con blocchi di cardinalità si chiama PBD.
Un -disegno con si chiama sistema di Steiner . In particolare un sistema di Steiner si chiama sistema di terne di Steiner, mentre un sistema di Steiner si chiama sistema di quaterne di Steiner.