Bir eksiksiz ölçevli uzayda, sayılabilir çoklukta yoğun altkümenin kesişiminin de yoğun olduğunu belirleyen sav.