Definition:Extension of Class

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

$B$ is an extension of $A$ :
 * $A \subseteq B$