theorem :: ROUGHIF2:40

for R being finite Approximation_Space
for X, Y, Z being Subset of R holds ((delta_2 R) . (X,Y)) + ((delta_2 R) . (Y,Z)) >= (delta_2 R) . (X,Z)