Subtype

A type $X$ that can be used wherever type $Y$ is expected - $X$ is "more specific" than $Y$.

A type $X$ that can be used wherever type $Y$ is expected - $X$ is "more specific" than $Y$.