theorem Th133: :: FUNCT_7:134

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