基族

【きぞく (base family)】

マトロイド 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{M}=(N,\mathcal{I})\,} において, 極大な独立集合を基と呼ぶ. すべての基を集めた基族 ${\mathcal {B}}\,$ は以下の 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\mathbf{B0})-(\mathbf{B1})\,} を満たす.

$(\mathbf {B0} )\,$ ${\mathcal {B}}\neq \emptyset \,$.

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\mathbf{B1})\,} 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B,F\in\mathcal{B}\,} , $i\in B\backslash F\Rightarrow \exists j\in F\backslash B\,$: $(B\backslash \{i\})\cup \{j\}\in {\mathcal {B}}\,$.

逆に, $(\mathbf {B0} )-(\mathbf {B1} )\,$ を満たす部分集合族 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal{B}\,} によってマトロイドを定義することもできる.