Total Function Partial Function Computer Science