assumptionOnMap
P26077
predicate
Indicates that an assumption or inferred condition is applied to, or defined over, a specific map or mapping structure.
Sample triples (2)
| Subject | Object |
|---|---|
| Glicksberg fixed-point theorem | nonempty convex compact values → |
| Glicksberg fixed-point theorem | upper semicontinuous set-valued map → |