مسلمة قابلية العد الأولى (axiom of countability, first)

مسلمة قابلية العد الأولى يقال لفراغٍ طوبولوجي إنه يحقق مسلمة قابلية العد الأولى إذا كانتْ له مجموعةُ الجِوارات لكل نقطةٍ فيه ما أساسٌ قابلٌ للعد.