Assertion: projective set | /r/CapableOf | come up in mathematical practice
Facets:
value: very naturally
type: MANNER
Source sentences:
text: The projective sets come up very naturally in mathematical practice, for it turns out that a set \(A\) of reals is projective if and only if it is definable in the structure