如何确定进入子空间的函数的连续性？

泛性质指出，对于任何集合 X、Y 和 Z，从 Z 到 X 和 Y 的笛卡尔积的函数集合自然同构于从 Z 到 X 的函数集合与从 Z 到 Y 的函数集合的笛卡尔积。

适用条件：专门适用于笛卡尔积，而不适用于加法等一般操作。

非正式地说，泛性质是相关数学对象或构造中共同拥有的某种特性。它不是一个单一的特定性质，而是许多范畴构造共享的一种模式。

适用条件：这是作为非正式解释提出的，而不是完全的范畴论形式定义。

笛卡尔积的泛性质不能推广到加法，因为加法的代数结构不满足相同的同构。例如，由于交叉项 $2ab$，$(a+b)^2 \neq a^2 + b^2$。

适用条件：比较是在笛卡尔积和加法之间进行的。

拓扑空间 X 的子集 Y 上的子空间拓扑的特征在于：从任何拓扑空间 Z 到 Y 的函数是连续的，当且仅当其与包含映射到 X 的复合是连续的。

适用条件：(X, $T_X$) 是一个拓扑空间。；Y 是 X 的子集。；i: $Y \hookrightarrow X$ 是自然包含映射。；(Z, $T_Z$) 是任何拓扑空间。；f: $Z \to Y$ 是一个函数。

乘积被用作泛性质模板的具体示例。书面图表显示了对象 A、B、P 和 $A\times B$，并有指向 A 和 B 的箭头，直观地表示了乘积设置中的投影型映射。

适用条件：该示例设置在类别内。；A 和 B 是乘积示例中的给定对象。