reserve a for set;

theorem Th2:
  for L being lower-bounded sup-Semilattice
  for AR being auxiliary(i) Relation of L holds AR c= IntRel L
by Lm2;
