I dag er det vanlig å tolke «regel» som en binær relasjon. Formelt kan en funksjon fra en mengde til en mengde defineres som en mengde av ordnede par i det kartesiske produktet . Mengden skal være entydig, i den forstand at hvis og , så er .