定义和含义

一一到上映射，指的是，同时满足了一一映射和到上映射的映射。

层次标注

在这里，它属于第二层知识，即学科概念。

辅助理解的解释

只有当一个映射是一一到上映射时，它是可逆的^[1]。即，如果有[math]\displaystyle{ f: A \rightarrow B }[/math]是一一到上映射，那么就存在逆映射[math]\displaystyle{ f^{-1}: B \rightarrow A }[/math]，使得 [math]\displaystyle{ f^{-1}(f(a)) = a }[/math] 对于所有 [math]\displaystyle{ a \in A }[/math] 成立，且 [math]\displaystyle{ f(f^{-1}(b)) = b }[/math] 对于所有 [math]\displaystyle{ b \in B }[/math] 成立。