I've been studying elementary set theory from my textbook. I'm confused about what exactly is an improper subset.
I know that if we say $A \subset B$, that means all the elements of $A$ are also the elements of $B$ but $A \neq B$. So $A$ is a proper subset of $B$.
But if I say that $A \subseteq B$ does that mean (i) $A$ must be equal to $B$ or (ii) $A$ may be equal to $B$
I tried looking up on google but some websites agree to (i) some agree to (ii) so it didn't clear up my question.
I also found this somewhat related question which was somewhat helpful but didn't exactly cleared by doubt.
Best Answer
A proper subset (usually denoted as $A\subset B$) is such that $A\ne B$, undisputably.
An improper subset (usually denoted as $A\subseteq B$) is such that $A=B$ is allowed (but not mandated), hence (ii). The option (i) is simply stated as $A=B$.
Anyway, you could find sentences such as "for this reason, the subset $A$ is improper" in proofs, stressing that in the case at hand $A=B$ indeed holds (or conversely, proper to stress that the sets are indeed different).