discrete-mathematics combinatorics Definition Circuit (Matroid) Given a matroid M=(E,I), a subset C⊆E is called a circuit if it is minimally dependent, i.e., C∈I,butfor eache∈Cit holds thatC∖{e}∈I.