擬陣相關性公理(dependent axiom of ma-troid)刻畫擬陣的一種法則.有限集E的某些子集構成的集族少，滿足如下稱之為相關性公理的條件:
1.空集曰不是少的元素.
2.若E的子集D，包容少的某一元素D，則幾亦為少的元素.
3.對於少的任意二元素D Dz，或者D,自D2為少的元素，或者對於E的任意元素‘，使得(DIUDz)一{‘}為少的元素.
上述公理確定的集族必，完全確定了擬陣的相關集.換言之，E的子集D為擬陣的相關集，若且唯若DES.因此，擬陣的相關性公理為擬陣的等價定義.擬陣相關性公理和擬陣獨立性公理，二者之間呈現著對應.例如關於它們的第2條公理，一個是集合擴充構成少中一條上升的鏈，另一個是集合元素減少構成了中一條下降的鏈.
