¿Qué significa $\leq ^{-1}$?

Question

Acabo de encontrarme con una pregunta en mi tarea. Lo único que dice es:

¿Qué es $\leq ^{-1}$?

Está en el capítulo sobre relaciones.

Supongo que significa:

$R \leq R^{-1}$, para $R$ siendo una relación, luego tener $R$ factorizado en cada lado??

Si ayuda, el libro que estoy usando es Matemáticas: Una Introducción Discreta, Capítulo 14, ejercicio 14.12

Answer 1

Dada una relación $R$, la relación $R^{-1}$ es otra relación: $$a\mathrel{R^{-1}}b\iff b\mathrel Ra.$$