jventrajmaumce

valsi

jventrajmaumce

type

fu'ivla

creator

krtisfranks

time entered

Thu Apr 7 02:04:35 2016  

English

Definition #68578 - Preferred

 

definition

x₁ is an eventual extremal bound/asymptote (one sense)/limsup (limit superior/limit supremum)/liminf (limit inferior/limit infimum) of x₂ (set, or ordered pair of a sequence or a function as the first term and the dummy variable (/input (slot)) thereof being considered as the (sometimes elidable) second term) in direction x₃ (li) in ordered structure x₄.

notes

Many of the notes of trajmaumce apply to this word with minor appropriate edits. Dependence on x₄ is slightly less delicate than it is for "trajmaumce"; the ordering is the most important information yielded by any input of x₄. If x₂ is not a set, make sure to state (in the definition of x₂) the (dummy) variable of x₂ against which this so-called "limit" is being taken.

gloss words

• eventual extremal bound ; limsup/liminf
• liminf ; limit inferior; limit inferior
• limsup ; limit superior; limit supremum

created by

krtisfranks

vote information

1

time

Thu Apr 7 02:04:35 2016

Examples

---