子程序（也称为子例程、过程或函数） 是一段可以被其他程序调用执行的代码。它通常包含一系列指令，用于完成特定的功能，并在执行完毕后返回到调用它的程序。子程序的主要作用是将复杂的程序逻辑分解成更小、更易于管理和维护的模块。
在编程中，子程序可以有以下特点：
可重用性：
子程序一旦定义，便可以在程序中多次调用，从而避免重复编写相同的代码，提高编程效率。
模块化：
子程序将程序分解成独立的模块，使程序结构更加清晰，便于理解和维护。
自动返回：
子程序在执行完毕后，会自动返回到调用它的程序，继续执行后续的指令。
关于子程序的调用规则，通常有以下几种说法：
外层子程序可以调用所有的内层子程序。
内层子程序只能调用包含本身的外层子程序，不可以隔层调用。
外层子程序必须能完全套住内层子程序。
这些说法并不完全正确，因为子程序的调用规则取决于具体的编程语言和编程环境。在大多数编程语言中，子程序可以跨层调用，但需要遵循相应的调用约定和语法。
总结来说，外层子程序是 能够被其他程序调用的一段代码，用于实现特定功能，并可以通过递归方式调用其他子程序。在编程中，合理使用子程序可以提高代码的可读性、可维护性和可重用性。