Borel set
解析集合の補集合が解析集合であるとは限らない。ススリンは、補集合が解析集合であるような解析集合はボレル集合であることを証明した。（逆に、全てのボレル集合は解析集合であり、ボレル集合は補集合を取る操作について閉じている。）ルジンは交わらない二つの解析集合はボレル集合で分離できることを証明した： すなわち、片方の解析集合を包含し、かつもう片方の解析集合と交わらないボレル集合がとれる。