for Y being RelStr holds Y |^ {} = RelStr(# {{}},(id {{}}) #) by Th26;