theorem :: COMPOS_1:21

for S being COM-Struct
for F, G being Program of S holds dom F c= dom (F ';' G)