The paper provides several axiomatizations of the concept of "path independence"as applied to choice functions defined over finite sets. The axioms are discussed in terms of their relationship to "rationality" postulates and their meaning with respect to social choice models.