A colleague and I are interested in idempotent relations from $I=[0,1]$ to $I$ - relations such that $R\circ R(x)=R(x)$ for all $x\in I$. Specifically, the graphs of the relations we care about must be closed subsets of the square.
Is there any work in the literature addressing these objects from a topological point of view? Thanks!