프로그래밍 언어의 공변성 반공변성은 프로그래밍 언어가 타입 생성자에 있어 서브타입을 처리하는 방법을 나타내는 것이다.
I 는 타입 매개변수 하나를 받는 타입 생성자라고 할 때,
S 가 T 의 서브타입이라면*, I<S> 는 I<T> 의 서브타입이다.*
