axiom P6: f">"g => given x in X, There exists H, a partition of S s.t. forall h in H

• (x,h;f,hc)>g
• f>(x,h;g,hc)