[yellow : color ∨blue : color ]
slide
:
The function subtype relation