for T being non empty right_complementable Abelian add-associative right_zeroed RLSStruct
for X, Y, B being Subset of T holds (X (-) B) \/ (Y (-) B) c= (X \/ Y) (-) B