Directed relation

A directed relation or confluent relation is a mathematical relation in which:

(w,x,y,z $\in$ X) (x)(y)(z)((Rxy & Rxz) $\to$ ( $\exists$ w)(Ryw & Rzw))

Also called diamond, amalgamation, weakly directed, or directly confluent.