程序是什么有序集合