I need help with this proof. i find it very clear that it is a true statement but unsure in which way to tackle the proof. my lectureer in recent lectures has been discussing predicate logic proofs and i think that is what he expects, with each line of the proof referenced to an axiom of real numbers.

A = {x element of E : p(x)}
B = {x element of E : q(x)}

p(x) => q(x) --> A is a subset of B


(and also how can i type a question so that it is displayed in proper notation?)