for z being object
for X, Y being set holds ~ ([:X,Y:] --> z) = [:Y,X:] --> z