for R1, R2 being non empty RelStr
for X being Subset of R1
for Y being Subset of R2 st RelStr(# the carrier of R1, the InternalRel of R1 #) = RelStr(# the carrier of R2, the InternalRel of R2 #) & X = Y holds
LAp X = LAp Y