Prove that the subset relation is reflexive:

$$A \subseteq A$$Prove that the subset relation is transitive:

$$A \subseteq B \wedge B \subseteq C \longrightarrow A \subseteq C$$Prove that the subset relation is not symmetric:

$$A \subseteq B \not\longrightarrow B \subseteq A$$