Editing General topology (section)

===Pointless topology===
{{Main|Pointless topology}}
'''Pointless topology''' (also called '''point-free''' or '''pointfree topology''') is an approach to [[topology]] that avoids mentioning points. The name 'pointless topology' is due to [[John von Neumann]].<ref>Garrett Birkhoff, ''VON NEUMANN AND LATTICE THEORY'', ''John Von Neumann 1903-1957'', J. C. Oxtoley, B. J. Pettis, American Mathematical Soc., 1958, page 50-5</ref>  The ideas of pointless topology are closely related to [[mereotopology|mereotopologies]], in which regions (sets) are treated as foundational without explicit reference to underlying point sets.