Sea f:X → Y una función continua compatible con la relación R, o sea tal que x R y implica que f(x) = f(y).