Ориентированный матроид

Ориентированное множество ${\displaystyle X}$- множество ${\displaystyle {\underline {X}}}$ с разбиением его элементов на два подмножества: подмножество «положительных элементов» ${\displaystyle X^{+}}$и подмножество «отрицательных» — ${\displaystyle X^{-}}$.

Множество ${\displaystyle {\underline {X}}=X^{+}\cup X^{-}}$называется носителем ориентированного множества ${\displaystyle X}$.

Пустое ориентированное множество ${\displaystyle \emptyset }$ — ориентированное множество с носителем ${\displaystyle {\underline {\emptyset }}}$ (соответственно, с пустым множеством «положительных» элементов и пустым множеством «отрицательных»).

Ориентированное множество ${\displaystyle Y}$ является противоположным ориентированному множеству ${\displaystyle X}$, если ${\displaystyle Y^{+}=X^{-}}$и ${\displaystyle Y^{-}=X^{+}}$.

Множество ${\displaystyle {\mathcal {C}}}$ ориентированных подмножеств множества ${\displaystyle E}$ будет являться набором циклов ориентированного матроида, если выполняются следующие аксиомы:

• (C0) ${\displaystyle \emptyset \notin {\mathcal {C}}}$,
• (C1) ${\displaystyle {\mathcal {C}}=-{\mathcal {C}}}$,
• (C2) для любых ${\displaystyle X,Y\in {\mathcal {C}}}$, если ${\displaystyle {\underline {X}}\subseteq {\underline {Y}}}$, то ${\displaystyle X=Y}$ или ${\displaystyle X=-Y}$,
• (С3) для любых ${\displaystyle X,Y\in {\mathcal {C}},X\neq -Y}$, и ${\displaystyle e\in X^{+}\cap Y^{-}}$ существует ${\displaystyle Z\in {\mathcal {C}}}$ такое, что ${\displaystyle Z^{+}\subseteq (X^{+}\cup Y^{+})\backslash \{e\}}$ и ${\displaystyle Z^{-}\subseteq (X^{-}\cup Y^{-})\backslash \{e\}}$.

Björner, A., Las Vergnas, M., Sturmfels, B., White, N., & Ziegler, G. M. (1999). Oriented matroids (No. 46). Cambridge University Press