������

$A$ ���������פȹͤ��롣 $A$ �θ���(��������)�ֿ͡פȸƤ� $g(x)=y$ �ΤȤ���$y$ �� $x$ �����Ǥ���ȸ������Ȥˤ��롣 $x$ �� $y$ �����Ǥ���Ȥ���ɽ����Ȥ���

$g$ �������Ǥ��뤳�Ȥϡ��Ĥ��Τ褦�����������

(����1).

$A$ ��Ǥ�դοͤϻҤ򤿤��ҤȤ�ɬ����ġ�

$g$ ��ñ�ͤǤ��뤳�Ȥϡ��Ĥ��Τ褦����������롣

(����2).

$A$ �γƿͤοƤϡ�����Ȥ���Ф�����ͤǤ��롣

�����ȸ�����ꡢ�ʥ�å����ͤΥ��᡼�����ʡ�

$x$ �λҤ䡢�Ҥλҡ����λҡ�$\dots$ �� $x$ ����¹�ȸƤ֡�

$x$ �οƤ䡢�Ƥοơ����οơ�$\dots$ �� $x$ �������ȸƤ֡�

$x$ �����Ĥȡ���¹���碌����Τ� $x$ �������ȸƤܤ���

���������ˤϡ��ؤ�����Ĥ�ΤȤʤ���Τ����ꡢ�ؤ���������������Τ� ���礬 $B$ �Ǥ���ȹͤ��褦�� ����ˤ��,

(����3).

�Ƥ���Ŀͤ� �ؤ�����ġ�

��ǯ����ˤʤ�ȡ������� $A$ �γƿͤϡ֤����פ��ꡢ �������Τ� $A$ �οͤˤ錄����

(����1).

�֤����פ�Ĥ���Τϡ������� $A$ �ο������Ǥ��롣

(����2).

�ƿͤ����ؤ��Τ���Ͱ�ͤˡ֤����פ��Ϥ���

(����3).

�Ϥ�����(��ʬ���ؤ�����Ƥ�)��ʬ���ȤǤ��ɤ���

(����4).

�ؤ��Τ���ͤ������֤����פ�������褦�ˤ��롣

(����5).

�֤����פ򣲤İʾ�������ͤϤ��ƤϤ����ʤ���