La relación es una operación entre dos conjuntos A y B donde se obtienen parejas (x, y) con x perteneciente a A y y perteneciente a B. Una función es una relación especial donde a cada elemento de A le corresponde exactamente un elemento de B. El diagrama de árbol representa gráficamente los posibles resultados de un experimento que consta de varios pasos, donde cada paso tiene un número finito de posibilidades.