lawson_le_lower

Mathlib.Topology.Order.LawsonTopology

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

English

The Lawson topology is weaker than the Lower topology: lawson α ≤ lower α.

Русский

Топология Lawson слабееLower topology: lawson α ≤ lower α.

LaTeX

$$$\mathrm{lawson}(\alpha) \le \mathrm{lower}(\alpha)$$$

Lean4

theorem lawson_le_lower : lawson α ≤ lower α :=
  inf_le_left

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

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

Разделы

Аффилиация

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