>>968 参考

有向点族を参考に投下しておく
おれも、ここらは全く詳しくないけど
おサルは非道すぎるよね

https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F#%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E3%81%B8%E3%81%AE%E5%BF%9C%E7%94%A8
有向点族
有向点族（ゆうこうてんぞく、directed family of points）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された[1]。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。

点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。

有向点族の概念の利点として以下の２つがある：
・点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定（第一可算公理など）を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
・複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は列型空間を参照）。

つづく