[Properties of Lax Extensions [1]}]

Let \(L\)  be a lax extension for a functor \(T\) . Then for all functions
\(f:X\rightarrow Z\) , \(g:Y\rightarrow Z\)  and relations \(R \subseteq X\times Z\) ,
\(S \subseteq Z\times Y\) ,
