Последовательность логически связанных операций, оформленная как отдельная часть программы, не зависящая от других частей, определяется как