An axiomatic characterization of the lexicographic maximin extension of an ordering over a set to the power set