Подтип устанавливается, когда класс связывается посредством расширения или реализации. Подтипы также используются для обобщений.
Как отличить подтипы от подклассов?