Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Topological space
Continuous map
Definition D386
Set of continuous maps
Formulation 1
Let TX=(X,TX) and TY=(Y,TY) each be a D1106: Topological space.
The set of continuous maps from TX to TY is the D11: Set C(TXTY):={ff:XY is continuous from TX to TY}