jvencuio

valsi

jvencuio

type

fu'ivla

creator

krtisfranks

time entered

Thu Apr 7 01:49:48 2016  

English

Definition #68577 - Preferred

 

definition

x₁ is an eventual/tail(-end) x₂ of x₃; x₃ eventually is/has/is characterized by x₂(/-ic/ness)

notes

When x₃(n) is understood as a sequence in one variable n (which is well-understood in the definition thereof), then there exists some real number N such that for any n > N, x₂ holds true for x₁ when considering such x₃(n); in other words, x₁ is an x₂ for the tail of x₃. Examples: "eventually periodic", "eventually bounded", etc.

jargon type

mathematics

gloss words

• eventual ; math; tail(-end)

created by

krtisfranks

vote information

1

time

Thu Apr 7 01:49:49 2016

Examples

---