Binære relasjoner er brukt i alle deler av matematikk. En funksjon er definert som en spesiell type binær relasjon.