for A being RelStr holds (A ~) ~ = RelStr(# the carrier of A, the InternalRel of A #) ;