On page 7 it gives two conditions for a linear function on the space of p-vectors built from a linear function on the underlying L space. I do not understand! Does anybody ? Then it continues by saying that the two properties are an axiomatic characterization on the space of p-vectors. So, if I understand correctly, the two properties above for linear functions are true iff the axioms for the p-space on page 5-6 are true? Correct? There's no proof. Does anybody know where I can find it?