If S is a subtype of T then an expression of type S 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 thATobjects of type S must accept every message thAT one of type T would. (1997-07-28)