335 Subsequence
ᐥThe sequence 「a⸤n⸤r⸥⸥」 is a subsequence of the sequence 「a⸤n⸥」 if 「n⸤r⸥」 is a strictly increasing sequence of natural numbers. 「a⸤n⸥ Ƚn→∞」 = L ⇒ 「a⸤n⸤r⸥⸥ Ƚn→∞」 = L 「a⸤n⸥ Ƚn→∞」 = ∞ ⇒ 「a⸤n⸤r⸥⸥ Ƚn→∞」 = ∞ᐥ ...
http://qindex.info/i.php?x=5220

-