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 that oBjects of type S must accept every message that one of type T would. (1997-07-28)