一种数学关系使得一个集合中的元素对应于另一个集合中至少一个元素

• a mathematical relation such that each element of one set is associated with at least one element of another set