freeOn — Mathlib

English

The matroid on α with ground set E whose only base is E is denoted freeOn(E).

Русский

Матроид на множестве E, у которого единственную базу образует E, обозначается как freeOn(E).

LaTeX

$$$ \\text{freeOn}(E) = \\text{loopyOn}(E)^{\\star} $, i.e., the matroid whose unique base is E.$$

Lean4

/-- The `Matroid α` with ground set `E` whose only base is `E`. -/
def freeOn (E : Set α) : Matroid α :=
  (loopyOn E)✶

Похожие утверждения