程序结构在此指将功能分解为数据类型、模块、函数及其调用关系的组织方式，结构选择等价于在无限程序空间中划出一个子集。