Assertion: graph | /r/HasProperty | borel
Facets:
Source sentences:
text: Y} X is the inductive limit of an arbitrary family of Banach spaces, if Y is a Souslin space, and if the graph of u is a Borel set in X × Y