What do "(X/B) is a union of (X/A)" and "(X/B) is not a union of (X/A)" mean? I only know "union" as an operation on two sets.
Oh, and the contrapositive of "if A then B" is NOT "if not A then not B". That is the inverse and the truth of one does not imply the truth of the other. The contrapositive is "If not B then not A" and, here, that would be "If (X/B) is not a union of (X/A) then A is not a subset of B" though I still don't know what "union" means here!
Is it possible that you just meant to have "subset" again? "If X is a subset of B then (X\B) is a subset of (X\A)" is a true statement. (Notice also that I have reversed "/" to "\". "/" implies a division (which is not defined for sets) while "\" is the "set difference".
If that is true, that you want to prove "If X is a subset of B then (X\B) is a subset of (X\A)", I would not try to prove the contrapositive but prove it directly. The standard way to prove "P is a subset of Q" is to say "if x is a member of P" and prove, using whatever properties P and Q have, "therefore x is a member of q".
Here, you would start "if x is a member of (X\B), then x is a member of X but x is NOT a member of B" (using, of course, the definition of "X\B"). Now, what does that, together with the fact that A is a subset of B, tell you about whether or not x is a member of A?