Assertion: set's subset | /r/PartOf | l ω 1 c k \displaystyle
Facets:
Source sentences:
text: All hyperarithmetical subsets of ω and relations on ω belong to L ω 1 C K {\displaystyle