я пытаюсь понять подтип. так, например, транзитивное свойство имеет место, где, если A является подтипом B, а B является подтипом C, тогда A также будет подтипом C. Я запутываюсь тогда, когда мы думаем о том, когда A является подтипом B, а A также является подтипом C. Будет ли B в этом случае обязательно подтипом C или C быть B?