Es una categoría programática cuyas relaciones de condicionamiento son exclusivas con un programa. Cada subprograma, por si solo, resulta en producción terminal.