7cea8676b6846cf03beb82e3469f2e2dff9d9512c518c3f301215a70630c

f:A->B가 함수이다

f는 A에서 B로 가는 함수이다 는 괜찮은데


f:A->B는 A에서 B로 가는 함수이다
Let x∈A be an element of A

근데 이걸 지적하려는 건 아니고 첫번째 문장으로 전달하려던 뜻은 f는 순서쌍들의 집합, dom(f)=A, ran(f)⊆B이다 일텐데 f가 정의역과 공역까지 포함한 정보를 담고 있는 것 같아서 (f,A,B) 좀 아쉬움