到上映射

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