Entonces en una relación binaria de preorden.