isUniversalFor

P162622 predicate

Indicates that something applies to or is valid for all members of a given set, domain, or context without exception.

Sample triples (1)

Subject Object
Baire space ω^ω Polish spaces under continuous open surjections