let R be finite Approximation_Space; for Y, Z, W being Subset of R st Z misses W holds
kappa ((Y \/ Z),W) <= kappa (Y,W)
let Y, Z, W be Subset of R; ( Z misses W implies kappa ((Y \/ Z),W) <= kappa (Y,W) )
assume A0:
Z misses W
; kappa ((Y \/ Z),W) <= kappa (Y,W)