theorem :: ROUGHS_4:8

for T being non empty TopRelStr
for R being non empty RelStr st RelStr(# the carrier of T, the InternalRel of T #) = RelStr(# the carrier of R, the InternalRel of R #) holds
UAp T = UAp R