User:Cdo256/sandbox

If R and S are binary relations over U, say

$$\text{orthogonal}(R,S) \iff \exists w, x, y, z_1, z_2, z_3 \in U. R(w,x) \land S(y,x) \land S(z_1,w) \land R(z_1,y) \land \neg S(z_2,w) \land R(z_2,y) \land S(z_3,w) \land \neg R(z_3,y)$$