قضیۀ رستۀ بئر

قضیه‌ای که بر طبق آن هر فضای سنجه‌ای کامل یک مجموعۀ رسته‌دوم است