For any two [[Set|Sets]] $A, B$, $A$ is a [[Proper Subset]] of $B$ if $A$ is a [[Subset]] of $B$ *and* $A \neq B$. $\huge A \subsetneq B \iff A \subset B \wedge A \ne B $