User:Fuchsto/Books/Formal Foundations of Domain Mappings

Structures, Topologies, Spaces: Mapping and Enumeration

 * Structures
 * Abstract structure
 * Mathematical structure
 * Structure space
 * Transport of structure
 * Kuratowski closure axioms
 * Limit point
 * Orthogonal group
 * Connectedness
 * Retract
 * Equivalent definitions of mathematical structures


 * Topologies
 * General topology
 * Topological space
 * Finite topological space
 * Order topology
 * Topological group
 * Subspace topology
 * Box topology
 * Product topology
 * Neighbourhood (mathematics)
 * Net (mathematics)


 * Mappings and Spaces
 * Space (mathematics)
 * Projection (mathematics)
 * Directed set
 * Compact space


 * Index Sets and Sequences
 * Indexed family
 * Sequential space
 * Sequentially compact space
 * Discrete space
 * Metric space