In mathematics, Pointless topology (also called point-free or pointfree topology, or locale theory) is an approach to topology that avoids mentioning points. Related areas Logic | Mathematics | Heyting algebra