theorem Th134: :: FUNCT_7:135

for A, B being set
for f, g being Function st dom f = dom g & B c= dom f & A misses B & f,g equal_outside A holds
f | B = g | B by RELAT_1:153, XBOOLE_1:86;