برای بیان مسئله ابتدا به تعاریفی که در زیر آورده شده اند نیاز داریم:
1 - اگر x یک فضای توپولوژی باشد، a?x را هیچ جا چگال گوییم هرگاه ?)= int(cl a و زیرمجموعه ی a از x را یک مجموعه ی ضعیف گوییم هرگاه a اجتماع شمارش پذیری از مجموعه های هیچ جا چگال باشد.
2 - فضای x را بئر گوییم هرگاه هر اشتراک شمارش پذیری از مجموعه های چگال و باز در x چگال باشد.
3 - فضای x را d- بئر می نامیم هرگاه هر زیرم...
