فرض کنید $v,k,t$ سه عدد طبیعی باشند، به طوری که $v>k>t$ و $x$ یک $v$-مجموعه باشد. اگر $t_1$ و $t_2$ دو گردایه ای مجزا
از بلوک های $k$-تائی باشند، به گونه ای که هر $t$-تایی به تعداد یکسان در هر دو دسته ظاهر شود، آن گاه $t={t_1,t_2}$ را
یک $(v,k,t)$ ترید گوییم.
یک $ (v,k,t)$ ترید را اشتاینری گوییم، هر گاه هر دوتایی حداکثر یک مرتبه در
$(t_2)t_1$
ظاهر شود.
...
