Vita:Matroidaxiómák

A Wikipédiából, a szabad lexikonból.

\forall E,K  \! \in \! \mathcal{F} :

\left[ \ \ \left( \ \left| E \right| = \left| K \right| -1 = 1 \ \wedge \ E \cap K = \empty \ \right) \ \Rightarrow \ \left( \ \exist x \! \in \! K : E \cup \left\{ x \right\} \in \mathcal{F} \ \right) \ \ \right]