 Supertype

A type $S$ is a supertype of $T$ when $T$ is a subtype of $S$. A lower type bound requires an admissible type argument to lie above a specified type in this subtyping relation.