Mange binære relasjoner mellom to mengder og vil være av en slik form at de for hvert element i entydig definerer et element . Slike relasjoner vil definere en Den binære relasjonen som definerer den implisitte funksjonen, er som oftest en ligning. Inverse funksjoner er en type funksjoner som er definert implisitt, ved en enkel ligning .