theorem :: MATHMORP:67

for n being Element of NAT
for X, B1, B2 being Subset of (TOP-REAL n) st B1 = {} holds
X (*) (B1,B2) = (X `) (-) B2