共分散は、コンポーネントタイプのサブタイピング関係を維持する高次タイプの特性です。