전사,surjection

Difference between r1.14 and the current

@@ -14,6 +14,7 @@
$\forall y\in Y \exists x\in X (f(x)=y)$
}

AKA '''onto'''

AKA '''위로의 함수, onto function'''
[[공역,codomain]]과 [[치역,range]]이 같은 함수.
@@ -32,5 +33,4 @@

https://en.citizendium.org/wiki/Surjective_function
https://ncatlab.org/nlab/show/surjection



WtEn:surjection
surjective adj.

curr. see: 함수,function#s-5 and/or 사상,map

chk, tmp from https://blog.naver.com/hafs_snu/221085743625
{
전사함수의 정의
$\forall y\in Y \exists x\in X (f(x)=y)$
}

AKA onto

AKA 위로의 함수, onto function
공역,codomain과 치역,range이 같은 함수.