توپوشناسی همچنین شناخته شده با: توپولوژی برابر انگلیک (انگلیسی): Topology مانه به یک زیرمجموعه τ از مجموعهی توانی X یک توپولوژی روی X گویند اگر شرایط زیر را برآورده کند: تهی و خود X متعلق به τ باشند. τ تحت هر اشتراک متناهی بسته باشد. τ تحت هر اجتماع دلخواهی بسته باشد. 1. τ ⊆ 𝓟(X)axiom✹ 2. ∅,X ∈ τaxiom✹ 3. if U,V ∈ τ then U∩V ∈ τaxiom✹ 4. if Uᵢ ∈ τ for all i∈I then ∪Uᵢ ∈ τaxiom✹