theorem Th5A: :: ROUGHS_3:7

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