בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

מערכת פרויקטיבית בקטגוריה מסוימת היא אוסף עצמים באותה קטגוריה (קבוצות, חבורות או חוגים למשל) המקיימים ביניהם קשר של הטלות (אפשר להטיל איבר במקום גבוה יותר ולקבל איבר במקום נמוך יותר) ותכונות מסוימות. לקבוצת כל ה"סדרות" של איברים מאוסף העצמים, המקיימים את תכונת ההטלה, קוראים "הגבול ההפוך" של המערכת הפרויקטיבית. למערכות פרויקטיביות (וגבולות הפוכים בפרט) יש שימוש בתורת המספרים, למשל: חוג המספרים ה-p-אדיים הוא גבול הפוך של חוגי שלמים מודולו ${\displaystyle p^{n}}$.

קבוצה מכוונת (directed set) היא קבוצה שמוגדר עליה סדר חלקי ${\displaystyle (I,\leq )}$, ומקיימת: לכל שני אינדקסים i ו-j קיים אינדקס שלישי k כך ש-${\displaystyle i\leq k,\ j\leq k}$.

מערכת פרויקטיבית של קבוצות, חבורות או חוגים (נקרא להם עצמים) היא אוסף של עצמים ${\displaystyle \left(X_{i}\right)_{i\in I}}$ בקטגוריה המתאימה בעלת קבוצת אינדקסים שהיא קבוצה מכוונת, ביחד עם פונקציות הטלה ${\displaystyle \pi _{ij}:X_{j}\to X_{i}}$ המהוות מורפיזמים בקטגוריה המתאימה, שמקיימות את התכונות הבאות:

1. זהות עצמית: ${\displaystyle \pi _{ii}=\mathrm {id} _{X_{i}}}$, הטלה של עצם על עצמו היא הזהות.
2. הרכבה טרנזיטיבית: לכל ${\displaystyle i,j,k\in I}$ שמקיימים ${\displaystyle i\leq j\leq k}$ מתקיים ${\displaystyle \pi _{ij}\circ \pi _{jk}=\pi _{ik}}$, כלומר: להטיל את ${\displaystyle X_{k}}$ על ${\displaystyle X_{i}}$ שקול להטלת ${\displaystyle X_{k}}$ על ${\displaystyle X_{j}}$ ומשם להטיל על ${\displaystyle X_{i}}$ באמצעות ההטלה מ-${\displaystyle X_{j}}$ ל-${\displaystyle X_{i}}$.

הגבול ההפוך (inverse limit) ${\displaystyle \lim _{\longleftarrow }X_{i}}$ של מערכת פרויקטיבית בקטגוריה מסוימת היא עצם באותה קטגוריה הכולל את כל ה"סדרות" שבהן ההטלות מקיימות את התכונה הבאה: ${\displaystyle \pi _{ij}(x_{j})=x_{i}}$ לכל ${\displaystyle i\leq j}$. בנוסחה

${\displaystyle \lim _{\longleftarrow }X_{i}=\left\{(x_{i})_{i\in I}\in \prod _{i\in I}X_{i}\ |\ \forall i\leq j:\pi _{ij}(x_{j})=x_{i}\right\}}$ .

אם הקבוצה המכוונת היא ${\displaystyle I=\mathbb {N} =\{1,2,3,...\}}$ את איברי הגבול ההפוך אפשר לרשום בצורה

${\displaystyle x=(x_{n})_{n\in \mathbb {N} }=(x_{n})_{n=1}^{\infty }=(...,x_{n},...,x_{2},x_{1})}$ .

• חוג המספרים ה-p-אדיים הוא גבול הפוך של${\displaystyle \left(\mathbb {Z} /p^{n}\mathbb {Z} \right)_{n=1}^{\infty }}$ (חוגי השלמים מודולו ${\displaystyle p^{n}}$), כלומר: ${\displaystyle \mathbb {Z} _{p}=\lim _{\longleftarrow }(\mathbb {Z} /p^{n}\mathbb {Z} )}$.

  כאן ההטלות הן ${\displaystyle \pi _{nm}:\mathbb {Z} /p^{m}\mathbb {Z} \to \mathbb {Z} /p^{n}\mathbb {Z} }$ המוגדרות על ידי ${\displaystyle x_{n}=\pi _{nm}(x_{m})=x_{m}{\bmod {p}}^{n}}$ (במילים אחרות: ${\displaystyle x+p^{m}\mathbb {Z} \mapsto x+p^{n}\mathbb {Z} }$) לכל ${\displaystyle m\geq n}$.

• חבורה פרו-סופית היא חבורה שמתקבלת על ידי גבול הפוך של חבורות סופיות.
• ההשלמה הפרו-פיניטית של חוג השלמים: ${\displaystyle {\hat {\mathbb {Z} }}=\lim _{\leftarrow }\mathbb {Z} /n\mathbb {Z} }$. ממשפט השאריות הסיני נובע ש-${\displaystyle {\hat {\mathbb {Z} }}\cong \prod _{p}\mathbb {Z} _{p}}$.
• חבורה פרו-p היא חבורה שמתקבלת על ידי גבול הפוך של חבורות p.

• Gregory Berhuy, Introduction to Galois Cohomology and its Applications, The London Mathematical Society.

• מערכת מכוונת