Of course, I typed out association, rather than commution S⋈R≡R⋈S ; fail

Isn't that just set union?

The notation may mean that in set theory. I was specifically talking about relational algebra, where ⋈ is the “natural join” operator.

oh - I meant the opposite. But yes, it's pretty obvious now I think about it that set theory is a subset of this.