I feel that this axiom is much stronger than the usual "axiom of reduction of compound lottery" that we talk about because the Axiom 4' sufficiently imply EU (with weak ordering and continuity).
Is this Axiom 4' same as the original reduction axiom for example one mentioned in Samuelson 1952?