Decomposition of composition and a partial proof of a conjecture

Composition of binary relations can be decomposed into two operations: $latex \otimes$ and $latex \mathrm{dom}$: $latex g \otimes f = \left\{ ( ( x ; z) ; y) \, | \, x f y \wedge y g z \right\}$. Composition of binary relations is decomposed as: $latex g \circ f = \mathrm{dom} (g\otimes f)$. I […]