拉都定理(Rado's theorem)刻畫擬陣的截元存在性的原理.若r為擬陣M<E)的秩函式，E的子集AmAZ,...,A，構成的集族少z有截元存在且為擬陣M<E)的獨立集，若且唯若對於指標集{1}2,}}},m}的任意子集J均有
