reserve A for preIfWhileAlgebra,
  C,I,J for Element of A;
reserve S for non empty set,
  T for Subset of S,
  s for Element of S;
reserve f for ExecutionFunction of A,S,T;

theorem Th106:
  for I being Element of A st I is_terminating_wrt f
  for P being set holds I is_terminating_wrt f, P;
