It's a set of well defined instructions, performed sequentially, to complete a task. It defines the logic of the program