有向点族の収束