Miller, Gary G.2009-08-202009-08-2019882009-08-20http://hdl.handle.net/1828/1549Standard topology is formulated in terms of the adherence of one subspace to another. Equivalently, this can be expressed in terms of the (asymmetric) separation of one subspace from another. A single intuitive axiom suffices. This abstractly characterizes "adherence" as a relational morphism which associates "union" with "or" and "arbitrary union" with "existential quantification." A function turns out to be continuous just in case it preserves adherence.entechnical reports (mathematics and statistics)Technical ReportDepartment of MathematicsDepartment of Mathematics and Statistics