for I, J being Program of holds dom I c= dom (I ";" J)