Функција се зове пуну мапирање: Ако је сваки могуће мапирање као бар једне варијабле на којима (тј., како у скуп Б у, сваки елемент има једну или више од оригинала), или било елемената опсег има најмање један одговарајуће променљиве. Формално дефинише на следећи начин:Ако је функција сурјецтиве, онда за било б, постоји А задовољава ф (а) = б.
Сурјецтиве прате сваки елемент домена на оригиналну слику поставили као класе еквиваленције, можемо доћи до низа класа еквиваленције (раније домен сет количник) је бијекција дефинисана домен.
Другим речима, сурјецтиве, што значи где у сурјецтиве, Кс на И када до Ф, И су само преимаге у Кс, И нема вишка или више од слике.
|
