1: \begin{abstract}

2: The Poincar\'e-Bendixson theorem is one of the most fundamental tools to capture the limit behaviors of orbits of flows. It was generalized in several ways and was applied to various phenomena in dynamical systems, differential equations, foliations, group actions, translation lines, and semi-dynamical systems. However, any differential equations with no-slip boundary condition on surfaces with boundary can be applied no such generalizations of the Poincar\'e-Bendixson theorem to, because of the degeneracy of singular points. To apply the Poincar\'e-Bendixson theorem to any flows on surfaces, we generalized and refined it into one for flows with arbitrarily many singular points on surfaces. The generalization implies topological characterizations of recurrence, which are generalizations of the Ma{\v \i}er's description of recurrence. Moreover, if the singular point set is totally disconnected, then any non-recurrent orbits in the $\omega$-limit set of a point are from and to singular points. 

3: %In addition, similar results hold for non-compact surfaces. 

4: %Furthermore, if there are at most finitely many singular points, then any limit ``quasi-circuits'' correspond to limit circuits and any ``quasi-Q-sets'' correspond to Q-sets. We construct examples of flows with quasi-circuits that are not circuits and of flows with quasi-Q-sets that are not Q-sets. 

5: \end{abstract}

6: