Sa bawat mga isinaayos na pares , ang unang elementong a ay mula sa sakop / domain , ang ikalawang elementong b ay mula sa codomain at ang isang kinakailangang kondisyon ay ang bawat elemento sa sakop / domain ang unang elemento sa eksaktong isang isinaayos na pares.
