Mi colega (supongo que investigando la estructura de semigrupos específicos) está buscando referencias sobre relaciones binarias $R\subset X\times X$ tal que $R\subset R\circ R$ es decir, para cada $(v,u)\in R$ existe $w\in X$ tal que $(v,w)\in R$ y $(w,v)\in R$ .
La cuestión tiene una formulación teórica de grafos equivalente. Un grafo dirigido (no necesariamente finito) $G$ no tiene aristas paralelas, pero puede tener bucles y para cada arista $(v,u)$ de $G$ existe un vértice $w$ de $G$ (que puede coincidir con $v$ o $u$ ) de forma que $(v,w)$ y $(w,u)$ son aristas de $G$ .
Gracias.
