View source for jvencuio

==== valsi ====
jvencuio
==== type ====
fu'ivla
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Thu Apr  7 01:49:48 2016
 
== English ==
=== Definition #68577 - Preferred ===
 
==== definition ====
x<sub>1</sub> is an eventual/tail(-end) x<sub>2</sub> of x<sub>3</sub>; x<sub>3</sub> eventually is/has/is characterized by x<sub>2</sub>(/-ic/ness)
==== notes ====

When <span class="MATH"><i>x</i><sub>3</sub>(<i>n</i>)</span> 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, <span class="MATH"><i>x</i><sub>2</sub></span> holds true for <span class="MATH"><i>x</i><sub>1</sub></span> when considering such <span class="MATH"><i>x</i><sub>3</sub>(<i>n</i>)</span>; in other words, <span class="MATH"><i>x</i><sub>1</sub></span> is an <span class="MATH"><i>x</i><sub>2</sub></span> for the tail of <span class="MATH"><i>x</i><sub>3</sub></span>. Examples: "eventually periodic", "eventually bounded", etc.

==== jargon type ====
mathematics
==== gloss words ====

<ul><li>[[natlang/en/eventual|eventual ; math; tail(-end)]]</li></ul>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Thu Apr  7 01:49:49 2016



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===