A new characterization of the path independent choice functions

In this paper we introduce a new axiom for choice functions, equivalent to the path independence axiom. We call it the congruence condition. This axiom allows to construct directly the anti-exchange closure operators and the convex geometries associated to path independent choice functions.