1) Jokaista x ∈ X kohti on olemassa y ∈ Y siten, että xFy.2) Jos xFy ja xFz, niin y = z.
Toisin sanoen, jokaikiseen X:n alkioon on liityttävä yksikäsitteisesti määrätty alkio joukosta Y.
Jos F on kuvaus X → Y ja F(x) = y, sanotaan, että
- y on pisteen x kuvapiste kuvauksessa F
- X on lähtöjoukko tai määrittelyjoukko, Y maalijoukko
- F(X) := { F(x) | x ∈ X }
on arvojoukko, joukon X kuvajoukko