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