theorem Th28: :: YELLOW_1:28

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