If S iS a Subtype of T then an expreSSion of typeS may be uSed anywhere that one of type T can and an implicit type converSion will be applied to convert it to type T. In object oriented programming, thiS meanS that objectS of type S muSt accept every meSSage that one of type T would. (1997-07-28)