هنگام کار با فضاها و ساختارهای ریاضی در اختیار داشتن زیرمجموعه‌ای که به کمک آن بتوان کلیه خواص فضا را، بدون نیازی به بررسی همه عناصر فضا، مورد مطالعه قرار داد بسیار سودمند است. مفهوم پایه در به چنین زیرمجموعه‌هایی از فضاها و ساختارهای ریاضی اشاره داد و تعریف آن برحسب نوع ساختارها و فضاهای ریاضی مورد بحث متفاوت است.
 در پایه یک فضای توپولوژیک از فضای است که به کمک آن می‌توان کلیه مجموعه‌های باز فضا را به کمک اجتماعات اعضای آن ساخت و به این ترتیب نیازی به بررسی کلیه مجموعه‌های باز فضا نخواهد بود.
 فرض کنید یک باشد. [خانواده] از مجموعه‌های باز را یک پایه برای توپولوژی روی می‌گوییم هرگاه هر مجموعه باز از به صورت اجتماعی از اعضای قابل نمایش باشد. به عبارت دیگر برای هر و هر ، موجود باشد که .
 به عنوان مثال مجموعه را با در نظر بگیرید. مجموعه همه بازه‌های باز مجموعه اعداد حقیقی، پایه‌ای برای توپولوژی اقلیدسی روی اعداد حقیقی است.
 حال مجموعه { ={[a,b):a,b∈ ,a<b را در نظر بگیرید و قرار دهید . به‌سادگی می‌توان بررسی نمود که یک توپولوژی روی اعداد حقیقی است، که آن را می‌نامیم، و فضای توپولوژیک را با نمایش می‌دهیم. به این ترتیب یک پایه برای توپولوژی حد پایین است.
 آنچه در مثال فوق مشاهد می‌شود حالتی است که با در دست داشتن مجموعه از زیرمجموعه‌های اعداد حقیقی یک توپولوژی روی آن تعریف می‌کنیم که یک پایه برای آن است. حال پرسشی که پیش می‌آید این است که چه هنگام مجموعه‌ای از زیرمجموعه‌های یک مجموعه می‌تواند تشکیل یک پایه برای یک توپولوژی روی آن فضا را بدهد؟ قضیه زیر پاسخ دهنده این پرسش است.
 مجموعه از زیرمجموعه‌های مجموعه ناتهی پایه‌ای برای یک توپولوژی روی است هرگاه:
 
 فرض کنید یک فضای توپولوژیک باشد و ∈ . در این صورت مجموعه از مجموعه‌های باز شامل را یک برای عنصر می‌گوییم هرگاه هر مجموعه باز در و شامل شامل عضوی از باشد. به عبارت دیگر برای هر مجموعه باز در که ∈G، مجموعه در موجود باشد که 
 به عنوان مثال اگر فضای توپولوژیک گسسته باشد،{{ ={{ یک پایه موضعی برای ∈ است. همچنین اگر مجموعه اعداد حقیقی مجهز به توپولوژی اقلیدسی مفروض باشد برای هر عدد حقیقی ، مجموعه همه گوی‌های باز حول با شعاع گویا یک پایه موضعی برای است.
 بررسی مقایسه توپولوژی‌های تعریف شده روی یک مجموعه می‌توان از پایه توپولوژی بجای خود توپولوژی‌ها استفاده نمود. این کار به‌ویژه در مواردی که اطلاعات کمی در مورد مجموعه‌های باز فضا در دست است سودمند خواهد بود. فرض کنید دو توپولوژی روی مجموعه ناتهی بوده و
 به ترتیب پایه‌هایی برای این دو توپولوژی باشند. در این صورت توپولوژی ظریفتر از است اگر و فقط اگر یا به عبارت دیگر برای هر و هر ، موجود باشد که
 .
 به عنوان مثال با بررسی پایه‌های و حد پایین می‌توان دید که از توپولوژی اقلیدسی ظریفتر است.
 همانند خواص مهمی را در مورد توپولوژی‌های صادق در این اصول تضمین می‌کنند. تعریف اصول شمارایی بر مفهوم پایه استوار است. فرض کنید
 یک فضای توپولوژیک باشد.
فضای توپولوژیک را صادق در ، یا شمارای اول می‌گوییم هرگاه هر عضو دارای پایه‌ای موضعی و شمارا باشد. به عنوان مثال و اقلیدسی در اولین اصل شمارایی صادق است.
 همچنین را صادق در یا شمارای دوم می‌گوییم هرگاه دارای پایه‌ای شمارای باشد. به عنوان مثال فضای توپولوژیک اقلیدسی شمارای دوم است چرا که مجموعه همه گوی‌های باز حول نقاط گویا با شعاع گویا تشکیل یک پایه شمارای برای این فضا می‌دهند.
 به کمک مفهوم پایه توپولوژی می‌توان توپولوژی‌های گوناگونی روی مجموعه‌های مختلف تعریف نمود، چنان‌که بدون وجود مفهوم پایه تعریف این توپولوژی‌ها غیرممکن یا دست‌کم بس دشوار می‌نماید. نمونه‌ای از این توپولوژی‌ها عبارتند از:
{"title": "پایه (توپولوژی)", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%BE%D8%A7%DB%8C%D9%87_(%D8%AA%D9%88%D9%BE%D9%88%D9%84%D9%88%DA%98%DB%8C)&oldid=32477081", "language": "fa"}