擬陣的圈公理

擬陣的圈公理(circuit axiom of matroid)刻畫擬陣的一種法則.

有限集E的某些子集構成的集族省滿足如下條件:

1.空集必不是留中的元素.

2. `}中的所有元素之間均不具有集合的包容關係.

3.對於省中任意元素C,,CZ，以及E中任意元素‘，在省中存在C3使得C3C }} 1 } C2)一{‘}.

這幾個條件即為圈公理，並稱3為圈消去公理.對於E的子集C，它為擬陣M(E,.})的圈，若且唯若它為若的元素，而留由圈公理決定.因此，擬陣圈公理是擬陣的一個等價形式.