道因一威爾森定理(Doyen-Wilson theorem)關於設計之間的關係的定理.
論述施泰納三元系包含子施泰納三元系的問題.若(X,})和(Y,.})為兩個BIBD設計，且X}Y,.}}.}，則稱(Y , .})是(X,})的子設計，或稱(Y , .})可嵌人於(X,.}).道因一威爾森定理斷言:存在(<v,3,1)-BIBD含有(u,3,1)-BIBD作為子設計的充分必要條件是v)2u+1且v,u三1,3,(mod6).後來，斯特恩(Stern,(U.)將這些結果推廣到一般((v,3,}>-BIBD的嵌人.目前關於(<v,4,})-BIBD的嵌人問題也已得到了完全的解決.在另一些組合設計中也有類似的子設計存在問題.例如，可分解BIBD設計、正交拉丁方、羅姆方等.
