أساس محلي عند نقطة (local base at a point)

أساس محلي عند نقطة يقال لفصلٍ من الفئات المفتوحة إنه أساسٌ محلِّيٌّ عند نقطةٍ ما إذا كانت هذه النقطة تنتمي إلى كلِّ عنصرٍ من عناصر هذا الفصل، وكانت كلُّ فئةٍ مفتوحةٍ من الفئات التي تحوي تلك النقطة تحوي أيضاً عنصراً من عناصر الفصل.