Buenas Alexis, si, es completamente valido. Esto es porque pred de sabado te va a dar viernes que esta dentro del rango como comentas. pred y succ simplemente son funciones que te dan el predecesor y el sucesor, a pascal en esa asignacion no le importa que estes haciendo pred(sabado), solo le importa que el resultado de pred(sabado) (o sea, viernes) este dentro del rango de la varable, cosa que esta.
Saludos,
Guillermo