>>872
そのとおり.f が A → B の写像であるとは
・f ⊂ A×B
・任意の a ∈ A に対し |{ b | (a,b) ∈ f }| = 1
の二条件を満たすこと.二つ目の条件があるので
f(a) ∈ B という略記が well-defined になる.