クラスの継承関係において、親クラスのメソッドの戻り値の型よりも狭い（具体的な）型を子クラスで返す性質を何と呼ぶか。

クラスの継承関係において、親クラスのメソッドの引数の型よりも広い型を子クラスで許可する性質を何と呼ぶか。