Set, definition of subset

111 Views Asked by At

I was given this proposition by definition $S \subseteq T \iff S \subset T \lor S = T$.

But the righthand side makes no sense to me: how can including $\lor S$ to something that already includes $T$ make it equal to $T$ ?

Thank you