axiom of countability

📌 ویژگی برآورده شده توسط یک فضای توپولوژیکی که در آن سیستم همسایگی هر نقطه دارای پایه‌ای متشکل از تعداد قابل شمارشی از همسایگی‌ها است (اصل اول شمارش‌پذیری) یا ویژگی برآورده شده توسط یک فضای توپولوژیکی که پایه‌ای برای توپولوژی آن متشکل از تعداد قابل شمارشی از زیرمجموعه‌های فضا است (اصل دوم شمارش‌پذیری).