The function N is called a neighbourhood topology if the axioms below are satisfied; and then "X" with N is called a topological space.
تابع N همسایگی نامیده می‌شود اگر از چهار اصل زیر پیروی کند؛ آن‌گاه "X" با N یک فضای توپولوژیک نامیده می‌شود.