bipartiteAbove

Mathlib.Combinatorics.Enumerative.DoubleCounting

URI: https://scilib.ai/kg/mathlib#Finset.bipartiteAbove

English

Elements of t that lie above a according to r form a finite set: the set of b in t with r(a,b).

Русский

Элементы t, лежащие выше a согласно отношению r, образуют множество: {b ∈ t | r(a,b)}.

LaTeX

$$$\\text{bipartiteAbove}(r,t,a) = \\{ b \\in t \\mid r(a,b) \\}$$$

Lean4

/-- Elements of `t` which are "above" `a` according to relation `r`. -/
def bipartiteAbove : Finset β :=
  {b ∈ t | r a b}

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

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

Разделы

Аффилиация

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