独立集合族

【どくりつしゅうごうぞく (independent set family)】

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

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