theorem :: ROUGHS_3:51

for R1, R2 being non empty RelStr st the carrier of R1 = the carrier of R2 holds
( UAp R1 = UAp R2 iff the InternalRel of R1 = the InternalRel of R2 ) by The5;