se cumple que existe un z de A tal que z antecede a x para todo x de A.