theorem :: METRIZTS:9

for T being TopSpace
for A, B being Subset of T
for F being Subset of (T | A) st F = B holds
(T | A) | F = T | B