labi definēta skaitļošanas procedūra, kura izmanto vērtību vai vērtību kopu kā ievaddatus, lai pēc galīgas skaitļošanas darbību secības izpildes aprēķinātu vērtību vai vērtību kopumu kā izvaddatus