Proximity and distality via Furstenberg families

In this paper proximity, distality and recurrence are studied via Furstenberg families. A new proof of some classical results on the conditions when a proximal relation is an equivalence one is given. Moreover, for a family F, F-almost distality and F-semi-distality are defined and characterized. As an application a new characterization of PI-flows is obtained.