fonksiyonun tanimi nedir?
Tanım: X ve Y herhangi iki küme ve f⊆X×Y olmak üzere
f,X'den Y'ye fonksiyon
:⇔
f:X→Y:⇔{1)(∀x∈X)(∃y∈Y)((x,y)∈f)2)(∀x∈X)(∀y,z∈Y)[((x,y)∈f∧(x,z)∈f)→y=z]