In particular, if codice_17 is a subtype of codice_18, then a value of type codice_17 can be used in a context where one of type codice_18 is expected, even if the reverse is not true.
Например, если codice_28 является подтипом codice_29, то значение, принадлежащее типу codice_28, может быть использовано в контексте, ожидающем значение типа codice_29, даже если обратное неверно.