adj

Mathlib.ModelTheory.Graph

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.adj

English

The adjacency symbol adj is a 2-ary relation symbol in the graph language.

Русский

Символ смежности adj является двоичной реляцией в языке графов.

LaTeX

$$$\text{adj} : \text{Language.graph.Relations } 2$$$

Lean4

/-- The symbol representing the adjacency relation. -/
abbrev adj : Language.graph.Relations 2 :=
  .adj

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru