|
gptkbp:instanceOf
|
gptkb:mathematical_concept
gptkb:projective_set
|
|
gptkbp:alsoKnownAs
|
Souslin set
|
|
gptkbp:definedIn
|
gptkb:Polish_space
|
|
gptkbp:describedBy
|
Souslin's operation
|
|
gptkbp:field
|
gptkb:mathematics
gptkb:topology
gptkb:descriptive_set_theory
|
|
gptkbp:hasSubgroup
|
gptkb:Polish_space
Borel set
measurable set
|
|
gptkbp:introduced
|
Mikhail Souslin
|
|
gptkbp:introducedIn
|
1917
|
|
gptkbp:isClosedUnder
|
continuous image
countable intersection
countable union
|
|
gptkbp:isCountableIntersectionOf
|
analytic sets
|
|
gptkbp:isCountableUnionOf
|
gptkb:Borel_sets
|
|
gptkbp:isImageOf
|
Borel set under continuous function
|
|
gptkbp:isNotClosedUnder
|
complement
|
|
gptkbp:isNotNecessarily
|
Borel set
|
|
gptkbp:isProjectionOf
|
Borel set in product space
|
|
gptkbp:isStrictlyLargerThan
|
Borel set
|
|
gptkbp:notation
|
Σ₁¹ set
|
|
gptkbp:usedIn
|
gptkb:logic
gptkb:probability_theory
functional analysis
measure theory
real analysis
|
|
gptkbp:bfsParent
|
gptkb:Souslin_operation
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
analytic set
|