ジェネラルトポロジーを
開基を元に定義すると「層」の理論との整合性が高いですかね？。
フィルターからだと逆にというか双対的に不動点論と相性がいい感じ？。