theorem :: ROUGHIF2:29

for R being finite Approximation_Space
for X, Y being Subset of R holds (delta_L R) . (X,Y) = (delta_L R) . (Y,X)