for X being set
for Y being RelStr holds Funcs (X, the carrier of Y) = the carrier of (Y |^ X)