Circuit (Matroid)

Definition

Circuit ( Matroid)

let $\mathcal{M}=(E,\mathcal{I})$ be a matroid. A subset $C\subseteq E$ is called circuit if it is minimally dependent, i.e.,

$$C\notin \mathcal{I}\wedge \forall e\in C:C\setminus \{e\}\in \mathcal{I}.$$