4. Let A and B be sets. Prove: If x EA and AC B then x EB Give a formal derivation for your proof. Use UI and modus ponens in your proof Note: The definition of subset (or equal) for sets A and B is:A Just like any equivalence law, we can always use this (and any other definition) as a derivation rule, We usually justify this type of law by saying "by definition