Variance

Is the correlation of subtyping relationships of complex types and the subtyping relationships of their component types.