theorem Th5: :: ROUGHS_2:5

for R being non empty RelStr
for a, b being Element of R st a in UAp {b} holds
[a,b] in the InternalRel of R