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