Name for when $R \cdot S \subseteq S \cdot R$?

136 Views Asked by At

is there a name for when for two relations $R,S$ on a set $A$ we have the property on the title? By $R \cdot S$ I mean the usual composition of $R$ and $S$ given by

$$ \{ (a,c) \mid \exists b. aRb \land bSc\} $$