Also known as surjection, right-total function, onto function
function such that every element of the codomain has a preimage
A surjective function is a type of mathematical relationship where every possible output value actually gets used—in other words, for every element in the codomain (the set of possible outputs), there's at least one input that produces it. This concept matters because it helps mathematicians precisely describe when a function "covers" its entire target set, which is useful in many areas of mathematics and its applications.
AI-generated from the Wikipedia summary — may contain errors.
满射或蓋射(英語:surjection、onto),或稱满射函数或映成函數,一个函数为满射,則对于任意的陪域 中的元素 ,在函数的定义域 中存在一點 使得 。换句话说,是满射時,它的值域与陪域相等,或者,等价地,如果每一个陪域中的元素 其原像 不等於空集合。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).