set r : ι → ι → Prop := WellOrderingRel
α : Type u_1
ι : Type u
M : Matroid α
Xs : ι → Set α
k : α
h : ∀ ⦃i j : ι⦄, Xs i ⊆ Xs j ∨ Xs j ⊆ Xs i
⊢ M.cl (⋂ i, Xs i) = {k}
α : Type u_1
ι : Type u
M : Matroid α
Xs : ι → Set α
k : α
h : ∀ ⦃i j : ι⦄, Xs i ⊆ Xs j ∨ Xs j ⊆ Xs i
r : ι → ι → Prop := WellOrderingRel
⊢ M.cl (⋂ i, Xs i) = {k}