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