theorem Th15: :: BORSUK_3:15

for X, Y being TopSpace
for XV being SubSpace of X holds [:Y,XV:] is SubSpace of [:Y,X:]