6.8.27 Set Theory

Condition: check for any sets \ (a, b, c \) the following condition: if \ (a \ subset b \ cup c \) then \ (a \ backslash b \ subset a \ cap c \).