>>203
その定義でもいいと思うよ。フィルターはそうだし
ただ、有向族は数列の拡張で、数列の考え方や記法が使えるのがいいんじゃないかな
同じ添字集合の複数の有向列どうしなら収束の速さなんかの比較もできそう