supp — Mathlib

English

For a connected component C of G, the support set is the set of vertices v with G.connectedComponentMk v = C.

Русский

Для компоненты связности C графа G множество опоры состоит из вершин v, для которых G.connectedComponentMk v = C.

LaTeX

$$def supp (C : G.ConnectedComponent) := {v | G.connectedComponentMk v = C}$$

Lean4

/-- The set of vertices in a connected component of a graph. -/
def supp (C : G.ConnectedComponent) :=
  {v | G.connectedComponentMk v = C}

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