In particular, if A is a subtype of B, then a value of type A can be used in a context where one of type B is expected, even if the reverse is not true.
Посебно, ако је  A подтип B, онда вредност типа A се може користити у контексту где је један од типа B очекиван, чак и ако обрнуто није тачно.