for X being LinearTopSpace
for A, B being Subset of X holds (Int A) + (Int B) c= Int (A + B)