Metadata
Author: WikiMatrix
Data
English[en]
The theorem can be generalized to show that for each sequence (An) of disjoint analytic sets there is a sequence (Bn) of disjoint Borel sets such that An ⊆ Bn for each n.
Swedish[sv]
Satsen kan generaliseras till att för varje följd (An) av disjunkta analytiska mängder finns det en följd (Bn) av disjunkta Borelmängder så att An ⊆ Bn för varje n.