Lusin's separation theorem

For 2 disjoint analytic subsets of Polish space, there is a Borel set containing only one

In descriptive set theory and mathematical logic, Lusin's separation theorem states that if A and B are disjoint analytic subsets of Polish space, then there is a Borel set C in the space such that A ⊆ C and B ∩ C = ∅. It is named after Nikolai Luzin, who proved it in 1927.

This keyword could refer to multiple things. Here are some suggestions: