isContravariantIn
P165065
predicate
Indicates that the type parameter or argument varies in the opposite direction of its containing type, so substituting a more specific type requires a more general one in that position.
Sample triples (1)
| Subject | Object |
|---|---|
| Alexander–Spanier cohomology | topological spaces ⓘ |