Saya mau tau Definisi dari Sifat Baire

Sebuah himpunan bagian  dari sebuah ruang topologis  dikatakan hampir terbuka dan dikatakan memiliki sifat Baire jika terdapat sebuah himpunan buka  sehingga  adalah sebuah himpunan bagian ramping, dimana  melambangkan beda simetrik. Lebih lanjut,  memiliki sifat Baire dalam arti terlarang jika untuk setiap himpunan bagian  dari , irisan  memiliki sifat Baire relatif terhadap .