Definition:Proper Subclass

Definition
Let $A$ and $B$ be classes.

Let $B$ be a subclass of $A$.

Then $B$ is a proper subclass of $A$ $B \ne A$.