質問です
位相空間における収束って
ネットとフィルターどちらが主流ですか？
それとも同じくらい使われてるものなんでしょうか？