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