Proper Subset

set-theory

Definition

Proper Subset

A subset $A$ of a set $B$ is called proper subset if they are not equivalent:

$$A\subset B:⟺A\subseteq B\wedge A\ne B$$