可除関係の位相的性質