これは次のように定義される。
関数列の収束.
 が に 上各点収束するとは、
が成り立つことである。これは、
と同値である。これを各点収束の定義とすることもある。
 が に 上一様収束するとは、次が成り立つことである：
これは、
と同値である。上で定義したノルムをスープノルム（または無限大ノルム、上限ノルム）と言う。スープノルムの収束をもって一様収束を定義することもある。
位相空間.
圏論.
この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。
振り飛車
振り飛車（ふりびしゃ）は、将棋の二大戦法の一つ。序盤において、初形で右翼にある大駒の飛車を左翼へ展開するもの。この反対は居飛車で、飛車を右翼の定位置の筋のまま攻める。
振り飛車が居飛車と戦う戦型は対抗型と呼ばれる。両対局者が共に振り飛車にすると相振り飛車となり、対抗型とは異なる展開となるが、本項では対抗型における振り飛車を中心に記述する。
概要.
振り飛車側は、これらの飛車を振る筋に応じて様々な戦法がある。特に、どの筋に飛車を振る場合でも、角交換を防ぐために角道を閉じて駒組をする角道クローズドと、必要なときに角交換できるように角道を開けたままにして角交換を利用して駒組をする角道オープンと、どちらにするかを選択することができる。そして角道クローズドでは途中から角道を開けて角交換を迫る振り飛車と角を交換せずに捌いて指す振り飛車とに、角道オープンでは角交換をせず角道を開けたまま主導権を握って駒をさばいていく振り飛車と、振り飛車側から角交換をして駒組を進める振り飛車とに選択が可能である。角道オープン・角交換振り飛車や、角道クローズドで角道をあけ交換を迫る指し方は、居飛車穴熊など角交換を避ける対振り飛車戦法が台頭してきたため、こうした現象が起こることになった。穴熊側が角交換を避けるのは、陣形的に大駒の打ち込みに弱く、また重要な攻防の駒が交換によって盤上から消える状態になるのは戦法の特質を損なうことになるためである。このため、ノーマル系の陣においても振り飛車が角道が開いた状態で相手の陣を角が睨んで指すことが可能となっていった。
歴史.
黎明期.