I'm having a little trouble distinguishing the line between what the f.i.p implies and what it does not.
**EDIT2** Hopefully this will make things more clear
What I'm really interested in is a formal definition of the f.i.p regardless of the set in question or the field.
Given the sequence...