inStandardBorelSpace
P162621
predicate
Indicates that the entities are related within the framework of a standard Borel space, i.e., a measurable space arising from a complete separable metric (Polish) topology with its Borel σ-algebra.