Transcendental — Mathlib

English

An element x is transcendental over R if and only if it is not algebraic over R.

Русский

Элемент x над R трансцендентен тогда и только тогда, когда он не алгебраичен над R.

LaTeX

$$$\\text{Transcendental}(R,x) \\iff \\lnot \\text{IsAlgebraic}(R,x)$$$

Lean4

/-- An element of an R-algebra is transcendental over R if it is not algebraic over R. -/
def Transcendental (x : A) : Prop :=
  ¬IsAlgebraic R x

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