Example
Consider any function g: t ? car
Ex: serial_number: int ? car
Since g returns a car, it necessarily also returns a vehicle, sincecar <= vehicle
That means that(t ? car) <= (t ? vehicle)
because car <= vehicle
Previous slide
Next slide
Back to first slide
View graphic version