theorem For191: :: ROUGHIF2:32

for R being finite Approximation_Space
for X, Y being Subset of R holds (delta_1 R) . (X,Y) = (card (X \+\ Y)) / (card (X \/ Y))