instPartialOrder — Mathlib

English

The rational numbers are equipped with a partial order, i.e., a reflexive, antisymmetric, and transitive relation ≤ on ℚ.

Русский

Рациональные числа укомплектованы частичным порядком, то есть отношение ≤ на ℚ является рефлексивным, антисимметричным и транзитивным.

LaTeX

$$$\\text{PartialOrder}(\\mathbb{Q}, \\le)$$$

Lean4

instance instPartialOrder : PartialOrder ℚ :=
  inferInstance

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