让成为功能在上定义设置 并在集合中获取值。那么如果,对于任何,存在一个为此有时,满射被称为“到”
让函数为操作人员哪一个地图中的点领域到每个点范围然后让成为向量空间具有.然后是转型 定义于如果存在这样的话为所有人.
在类别集合、组、模块等的满态与满射相同,并使用与外部的“surpjection”同义类别理论.
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“Surjection”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Surjection.html