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)