有向集合
directed set
フィルター付き圏
Centered set
Linked set
https://ja.wikipedia.org/wiki/有向集合