共变元

covariant element