cliqueSet_mono'

Mathlib.Combinatorics.SimpleGraph.Clique

URI: https://scilib.ai/kg/mathlib#SimpleGraph.cliqueSet_mono'

English

If G ≤ H then G.cliqueSet(n) ⊆ H.cliqueSet(n).

Русский

Если G ⊆ H, то множества кликов по $n$ для G подмножество кликов по $n$ для H.

LaTeX

$$If $G \le H$, then $G.cliqueSet(n) \subseteq H.cliqueSet(n)$.$$

Lean4

theorem cliqueSet_mono' (h : G ≤ H) : G.cliqueSet ≤ H.cliqueSet := fun _ ↦ cliqueSet_mono h

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

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

Разделы

Аффилиация

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