theorem :: ROUGHIF2:30

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