Grace/Cumulus/Topology.g17

Open in Workbench Download source

Imports

Space · Continuity · Compact · CompactImage · Subspace · Real · HeineBorel · FiniteIntersection · Product · Tube · Plane · ClosureLaws · Separation · CompactMore · Connected · Basis · Maps · Structure · Continuous · Spaces · CantorBendixson · Real.RationalBase · Real.CantorBendixson · Real.PerfectSets

Declarations

Source

1-- Point-set topology: spaces, continuous maps, compactness, subspaces,2-- and separation3-- Part of Cumulus, the Grace17 mathematics library.4-- Copyright (c) 2026 Grant Passmore.5-- Released under the Apache License 2.0. See LICENSE in the repository root.6-- Authors: Grant Passmore78module Grace.Cumulus.Topology9import Space10import Continuity11import Compact12import CompactImage13import Subspace14import Real15import HeineBorel16import FiniteIntersection17import Product18import Tube19import Plane20import ClosureLaws21import Separation22import CompactMore23import Connected24import Basis25import Maps26import Structure27import Continuous28import Spaces29import CantorBendixson30import Real.RationalBase31import Real.CantorBendixson32import Real.PerfectSets33