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