An Axiomatization of the Walras Correspondence in Infinite Dimensional Spaces