Just as in mathematics, it is convenient to be able to define logical parts of a program as a single entity. This can be because it becomes easier to understand a large program when it is composed of ...