theorem Th2: :: MORPH_01:2

for E being RealLinearSpace
for A, B being Subset of E st A <> {} & B = {} holds
B (-) A = B