isUniversalFor

P162057 predicate

Indicates that a property, rule, or condition holds true for all members of a specified set or domain without exception.

Sample triples (2)

Subject Object
Baire space standard Borel spaces via Borel isomorphisms
Baire space ω^ω Polish spaces under Borel isomorphism