theorem Th4: :: MORPH_01:4

for E being RealLinearSpace
for A, B being Subset of E st B = the carrier of E holds
B (-) A = B