lawson_le_scott

Mathlib.Topology.Order.LawsonTopology

URI: https://scilib.ai/kg/mathlib#Topology.lawson_le_scott

English

The Lawson topology is weaker than the Scott topology: lawson α ≤ scott α univ.

Русский

Топология Lawson слабее топологии Scott: lawson α ≤ scott α univ.

LaTeX

$$$\mathrm{lawson}(\alpha) \le \mathrm{scott}(\alpha, \mathrm{univ})$$$

Lean4

theorem lawson_le_scott : lawson α ≤ scott α univ :=
  inf_le_right

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

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

Разделы

Аффилиация

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