فرض کنید ‎$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$‎ ظاهر شود. ‎‎ ...