Domain ja co-demain esitellään vasta hyvin lähellä pääkirjoituksen loppua, kolmannessa kappaleessa.  Funktioiden muodollisissa määritelmissä annetaan syötteiden joukko (toimialue), syötteiden ja ulostulojen parien joukko ja toinen joukko, jota kutsutaan yhteistoiminta-alueeksi ja johon ulostulojen on pakko kuulua.  ( talk)