Describir: A local independence condition for characterization of Walrasian allocations rule.