theorem Th2: :: WAYBEL_4:2

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