Doar in prima diagrama este reprezentata o functie definita pe A cu valori in B, deoarece, conform teoriei, FIECARUI (contraexemplu este a doua diagrama) element al multimii A, in corespunde cate un SINGUR(contraexemplu este a 3.a diagrama) termen din multimea B.