8..12 → 3..5 \leqslant 9..11 → 2..6
{age : int, speed : int, fuel : int} \leqslant {age : int, speed : int}
[ yellow ∨blue ] < [ yellow ∨blue ∨green ]
slide
:
Examples of subtyping