Bom, nós vamos tratar agora da noção de uma função por meio de conjuntos. Isso significa que abordaremos como uma função pode ser formada em meio a dois conjuntos. Basicamente nós temos uma função, quando é possível associar cada um dos elementos do conjunto de partida a um único elemento do conjunto de chegada.​