f′
slide
:
The object subtype relation