这为一数学名词，主要出现在离散数学中。
对于f：X->Y的映射中，如果ranf=Y，即Y的每一个元素是X中一个或多个元素的象点，则称这个映射为到上映射，或者称为满射。
也就是说，到上映射就是通常所说的满射，它们是一个数学概念。