theorem Th10: :: MATHMORP:10

for T being non empty right_complementable Abelian add-associative right_zeroed RLSStruct
for X, B1, B2 being Subset of T st B1 c= B2 holds
( X (-) B2 c= X (-) B1 & X (+) B1 c= X (+) B2 )