Is the correlation of subtyping relationships of complex types and the subtyping relationships of their component types.
Clickable & Draggable!