���������͡�ñ�͡���ñ��

��� 1.2 (``1.1.4'')   ���� $X$ ���� $Y$ �ؤμ��� $f$ ��Ϳ�����Ƥ���Ȥϡ� $X$ �γƸ� $x$ ���Ф��ơ�������б����븵�� (``�������׻������ï�Ǥ�Ʊ��������������褦��'') Ϳ�����Ƥ���Ȥ��ˤ�����

$f$ ��ñ���Ǥ���Ȥϡ�$X$ ����ۤʤ븵 $x_1,x_2$ �ˤ������ƤϤ��ĤǤ� $f(x_1)\neq f(x_2)$ ���ʤꤿ�ĤȤ��ˤ�����

$f$ �������Ǥ���Ȥϡ�$Y$ �Τɤθ� $y$ �ˤ������Ƥ⡢$X$ �Τ��븵 $x$ �����äơ�$f(x)=y$ ���ʤꤿ�ĤȤ��ˤ�����