La relación preceder < cumple con las siguientes propiedades: