theorem :: ROUGHIF2:31

for R being finite Approximation_Space
for X, Y being Subset of R st X <> {} & Y <> {} holds
(delta_L R) . (X,Y) = (((card (X \ Y)) / (card X)) + ((card (Y \ X)) / (card Y))) / 2